| [7] | 1 | Dear User:
|
|---|
| 2 |
|
|---|
| 3 | This archive contains 2 files which provide Grobner basis support for the
|
|---|
| 4 | free computer algebra system Maxima. In order to use the package, start your
|
|---|
| 5 | Maxima and put it in the lisp mode (on most systems, CTRL-C will do this),
|
|---|
| 6 | and execute the following commands:
|
|---|
| 7 |
|
|---|
| 8 | (compile-file "grobner.lisp")
|
|---|
| 9 | (load "grobner.fasl")
|
|---|
| 10 |
|
|---|
| 11 | The .fasl extension may need to be replaced with a Lisp-specific
|
|---|
| 12 | extension for some lisp implementations.
|
|---|
| 13 |
|
|---|
| 14 | It should also be possible to compile and load from the Maxima prompt:
|
|---|
| 15 |
|
|---|
| 16 | compile_file("grobner.lisp");
|
|---|
| 17 | load("grobner.fasl");
|
|---|
| 18 |
|
|---|
| [8] | 19 | This version has been verified to work under Maxima 5.16.3, using SBCL.
|
|---|
| [9] | 20 | It should also be portable across other ANSI Common Lisp implementations.
|
|---|
| [8] | 21 |
|
|---|
| [7] | 22 | The file grobner.demo is a Macsyma-style demo file for most of the operations
|
|---|
| 23 | provided by the package. In order to run it, go to the Maxima level and
|
|---|
| 24 | type:
|
|---|
| 25 |
|
|---|
| 26 | demo("grobner.demo");
|
|---|
| 27 |
|
|---|
| 28 | or
|
|---|
| 29 |
|
|---|
| 30 | batch("grobner.demo");
|
|---|
| 31 |
|
|---|
| 32 | and watch the demonstration.
|
|---|
| 33 |
|
|---|
| 34 | Maxima documentation for this package has not been written yet, but
|
|---|
| 35 | there is a sizable amount of documentation in the LISP source.
|
|---|
| 36 |
|
|---|
| 37 |
|
|---|
| 38 | The file grobner.lisp was constructed by a semi-automatic
|
|---|
| 39 | process from the sources of a package CGBlisp, version 2 also authored by
|
|---|
| 40 | me, which will eventually be released at my Web site (see below).
|
|---|
| 41 | An older version of CGBlisp is available at the Web site.
|
|---|
| 42 |
|
|---|
| 43 | Enjoy.
|
|---|
| 44 | --Marek Rychlik
|
|---|
| 45 |
|
|---|
| 46 | 5-24-2002
|
|---|
| 47 | Revised: 1-25-2009
|
|---|
| 48 |
|
|---|
| 49 | E-mail: rychlik@u.arizona.edu
|
|---|
| 50 | URL: http://alamos.math.arizona.edu
|
|---|
| 51 | http://marekrychlik.com
|
|---|
