Kan/sm1

Kan/sm1 (1991--2003) 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

$Id: index-kan.html,v 1.2 2003/09/22 07:22:10 taka Exp $

Archives

1. 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 multi-variable 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 0-th integration by a new algorithm using a generic weight vector. This package requires open asir server to analyze the roots of b-functions.
     • 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 :
2. D-Macaulay : A system for computation in algebraic analysis, 1994---. D-Macaulay(Macaulay for D-modules) is developed based on Macaulay (a computer algebra system for algebraic geometry) written by D.Bayer and M.Stillman.
3. Macaulay 2 : An implementation for D-modules in Macaulay 2 is under progress.
4. Risa/Asir Version 940320, 950831 : A general computer algebra system developed at Fujitsu Laboratory .