"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

[kan/sm1 files]
  (A)kan.alpha.tar.gz  or kan96.tgz :
        This is kan version 2.xxxxxx source code.
  (b)sm1.binary.OSTYPE.CPUTYPE.tar.gz
        Binary distribution of kan/sm1 with ox_asir server.
        For example, sm1.binary.Linux.i386.tar.gz contains sm1 for linux on PC.

        ox_asir server performs multi-variable factorization,
        primary ideal decompositions, and so on.
        As to ox_asir, contact to noro@flab.fujitsu.co.jp or
                                  kan@math.kobe-u.ac.jp


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

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