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 |
|
---|
19 | This version has been verified to work under Maxima 5.16.3, using SBCL.
|
---|
20 | It should also be portable across other ANSI Common Lisp implementations.
|
---|
21 |
|
---|
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 | Revised: 1-25-2015
|
---|
49 |
|
---|
50 | E-mail: rychlik@u.arizona.edu
|
---|
51 | URL: http://marekrychlik.com
|
---|