"Kan/sm1" is a system for doing algebraic analysis by computer based on 
computations of Groebner bases.
It performs computations in the ring of polynomials, the ring of differential
operators, (the ring of difference operators and the ring of q-difference
operators).

------------------------------------------------------------------------
[ftp cite]   ftp.math.kobe-u.ac.jp  [home page] www.math.kobe-u.ac.jp/KAN
[Files in this directory]
  (A)kan???.alpha.tar.gz or kan96.tgz :
        This is kan version 2.xxxxxx source code.
  (b)kanbinary.OSTYPE.CPUTYPE.tar.gz
        Binary distribution.  For example, kanbinary.Linux.i386.tar.gz
        is kan/sm1 for Linux machines on PC.

-----------------------------------------------------------------------
If this is a binary distribution, then just type in
  make install-binary
You will get a << shell script sm1 >> in this directory to start 
a binary Kan/sm1.?????
Manuals and library files are in the lib directory.
See README.binary for details.
------------------------------------------------------------------------
To compile it from the source code, 
just type in "make". You will get "sm1" in the directory Kan.
A document about kan/sm1 is in the Doc/ directory.
Type in make, then you get "ttt.tex" that is an introduction to kan/sm1.
See README for details.

Manuals are not completed.  Please send an E-mail to
kan@math.kobe-u.ac.jp if you have questions.

http://www.math.kobe-u.ac.jp/KAN/