This directory no longer contains the latest version of "kan/sm1".
To get the latest version, access to 
http://www.math.kobe-u.ac.jp/OpenXM/index.html
and download OpenXM package. It contains the latest version of
"kan/sm1". The ftp cite of OpenXM package is
ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM.

If you do not like to build all OpenXM packages,
get the file
  ftp://ftp.math.kobe-u.ac.jp:pub/OpenXM/Head/openxm-head.tar.gz,
extract files by 
    tar xzvf openxm-head.tar.gz,
and 
    cd OpenXM/src ; make install-kan-ox
    cd ../rc ; make
The shell script file  sm1 and openxm  under OpenXM/rc should copied under your
search path.
     sm1  :  to start sm1
     openxm k0 : to start kan/k0

------------------------------------------------------


"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/