Dear User:

This archive contains 2 files which provide Grobner basis support for the
free computer algebra system Maxima. In order to use the package, start your
Maxima and put it in the lisp mode (on most systems, CTRL-C will do this),
and execute the following commands:

(compile-file "grobner.lisp")
(load "grobner.fasl")   

The .fasl extension may need to be replaced with a Lisp-specific
extension for some lisp implementations.

It should also be possible to compile and load from the Maxima prompt:

compile_file("grobner.lisp");
load("grobner.fasl");

This version has been verified to work under Maxima 5.16.3, using SBCL.

The file grobner.demo is a Macsyma-style demo file for most of the operations
provided by the package. In order to run it, go to the Maxima level and
type:

demo("grobner.demo");

or

batch("grobner.demo");

and watch the demonstration.

Maxima documentation for this package has not been written yet, but
there is a sizable amount of documentation in the LISP source.


The file grobner.lisp was constructed by a semi-automatic
process from the sources of a package CGBlisp, version 2 also authored by 
me, which will eventually be released at my Web site (see below).
An older version of CGBlisp is available at the Web site.

Enjoy.
--Marek Rychlik

5-24-2002
Revised: 1-25-2009

E-mail: rychlik@u.arizona.edu
URL: http://alamos.math.arizona.edu
     http://marekrychlik.com