Kan/sm1
Kan/sm1 (19912003) is a system for computing
in the ring of differential operators D (and difference operators, ...).
Download
The latest version of kan/sm1 is obtainable as a part of the OpenXM package.
Access to the
OpenXM home page
to download the
OpenXM package .
After downloading, build the system following the instruction included.
The system "sm1" will be built under OpenXM/bin.
The system has been tested on cygwin (windows), Debian, and FreeBSD.
Documents
Documents for kan/sm1 is
here
$Id: indexkan.html,v 1.2 2003/09/22 07:22:10 taka Exp $
Archives
 Old kan/sm1 (sources and binaries of version 2.990914 are here) :
A system for computation in
algebraic analysis, 1991. Version 1, 1991, Version 2, 1994.
The last standalone distribution is
kan/sm1 Release 2.990914. (source code and Linux binary distribution only.)
 What's new in the version 2.990914?
 ox_asir server is now available, which performs multivariable
factorizations, primary ideal decompositions, efficient Grobner
basis computation in the ring of polynomials, and so on.
ox_asir is based on asir. See below.
 New package lib/intw.sm1 : Computing 0th integration by a new algorithm
using a generic weight vector. This package requires open asir server
to analyze the roots of bfunctions.
 A stable client package for open asir, open sm1 servers, open gnuplot servers,
and so on (a distributed computation with a common mathematical object format.
Open XM support.)
 Bug fixes.
 New library functions for the new book
"Grobner Deformations of Hypergeometric Differential Equations" (Springer),
by Mutsumi Saito, Bernd Sturmfels ,
Nobuki Takayama .
 (Sorry! It is our of service.)
You can try
a sample program for kan/sm1 by clicking
here .
 (Sorry! It is out of service.)
Compute the expansion of (Dx+x)^n
in the ring of differential operators
by kan/sm1. Here, Dx is the differential operator with respect to
the variable x.
You can input a positive integer n less than 20 here :

DMacaulay :
A system for computation in
algebraic analysis, 1994. DMacaulay(Macaulay for Dmodules)
is developed based on
Macaulay (a computer algebra system for algebraic geometry)
written by D.Bayer and M.Stillman.

Macaulay 2 :
An implementation for Dmodules in Macaulay 2 is under
progress.

Risa/Asir Version 940320, 950831
: A general computer algebra system developed
at Fujitsu Laboratory .

kan@math.kobeu.ac.jp