"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)kanbinary.OSTYPE.CPUTYPE.tar.gz
        Binary distribution of kan/sm1.
        For example, kanbinary.Linux.i386.tar.gz contains sm1 for linux on PC.

[open sm1 server files]
  (c)kxx.tgz
        open sm1 source code. It requires kan96.tgz to compile it.
  (d)open-sm1-binary.STYPE.CPUTYPE.tar.gz
        Binary  distribution of open sm1 server.
        For example, open-sm1-binary.Linux.i386.tar.gz contains
        ox and ox_sm1.

-----------------------------------------------------------------------
If this is a binary distribution of kan/sm1, then just type in
  make install-binary
You will get a << shell script sm1 >> in this directory to start 
a binary Kan/sm1.CPUTYPE.OSTYPE
Manuals and library files are in the lib directory.
See README.binary for details.
------------------------------------------------------------------------
To compile kan/sm1 from the source code, 
just type in "make". You will get "sm1" in the directory Kan.
Move sm1 in any place in your search path.
Make a symbolic link from lib directory here to
/usr/local/lib/sm1 or set the environmental variable 
LOAD_SM1_PATH to the lib directory.
These are automatically done in the binary distribution by make install-binary
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.
onlinehelp.tex is a reference manual for sm1 operators.
See README for details.

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

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

*********************************************************
Known troubles:
kanbinary.solaris2.5.1.sparc.tar.gz, 2.981117, 
    Input buffer is cleared after fflush(NULL) is called. So, for example,
    the input ; ; generates only one sm1>
 ==> replace it newer version.