README (Updated: 1996/08/17)

"Kan" is a system for doing algebraic analysis by computer based on 
computations of Groebner bases.
This material may be freely distributed as is.
This distribution contains only a few examples in the Doc directory.
So, if you have questions, please send a mail to
       kan@math.s.kobe-u.ac.jp


Directories
-----------

Kan       Source files of the kan-library and kan-virtual-machine (kan/sm1).
gc3.2     Garbage collector written by Hans-J. Boehm and Alan J. Demers.
          See the README of this directory for the details.
          In order to get the newest version of it, ftp from
                 beta.zerox.com
gmp       GNU MP package
Doc       Documents. Type in "make" to get the document ttt.tex.
          "ttt.tex" is generated from ex.tex.
bibreference.tex  A sample citation of kan/sm1.
Makefile  makefile

 
Installation
------------

<<1>>
The kan-system is developed and tested on the SUN sparc-station
with SUN-OS 4.1.3, Solaris 2.4 and gcc (GNU C-compiler)
and on the Linux operating system of Slackware 2.0 
with the elf-kernel version 1.2.13.
The system will be run on the machines with ansi C-compilers 
on which the Garbage collector of Boehm and Demers can runs.
 If you use the same environment, you need no configuration.
For the other machines, you must configure the garbage collector.
See the README in the directory gc3.2 and do configurations.

Then, just type:
% make all

You will have 
   sm1
in the directory Kan.
Move this file to a directory on your search path.
(For example, 
    mv sm1 ~/bin
or
    mv sm1 /usr/local
)

--------------------------------------------------
January 8, 1994.
Nobuki Takayama,  Department of Mathematics, Kobe university,
kan@math.s.kobe-u.ac.jp
