source: trunk/README@ 760

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.

It should also be portable across other ANSI Common Lisp implementations.



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