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