| 1 | Dear User:
|
|---|
| 2 |
|
|---|
| 3 | This archive contains files which provide Grobner basis support for the
|
|---|
| 4 | free computer algebra system Maxima. In order to use the package,
|
|---|
| 5 | 1. Copy the files in this directory to your favorite location;
|
|---|
| 6 | or better, checkout the contents of this repository with SVN.
|
|---|
| 7 | 2. Edit the file "grobner.mac" to modify the location of the Lisp
|
|---|
| 8 | files, to reflect your choice made in previous step.
|
|---|
| 9 | 3. Start your Maxima and load the file "grobner.mac"
|
|---|
| 10 | 4. Optionally, compile the Lisp files, so that the next file
|
|---|
| 11 | you load "grobner.mac", the compiled (.fasl) versions of
|
|---|
| 12 | the files will be loaded. The compilation instructions
|
|---|
| 13 | vary slightly depending on Lisp version.
|
|---|
| 14 |
|
|---|
| 15 | This version has been verified to work under this Maxima version:
|
|---|
| 16 |
|
|---|
| 17 | ----------------------------------------------------------------
|
|---|
| 18 | Maxima 5.34.1 http://maxima.sourceforge.net
|
|---|
| 19 | using Lisp SBCL 1.2.4-1.fc21
|
|---|
| 20 | ----------------------------------------------------------------
|
|---|
| 21 |
|
|---|
| 22 | It should also be portable across other ANSI Common Lisp implementations.
|
|---|
| 23 |
|
|---|
| 24 | The file grobner.demo is a Macsyma-style demo file for most of the operations
|
|---|
| 25 | provided by the package. In order to run it, go to the Maxima level and
|
|---|
| 26 | type:
|
|---|
| 27 |
|
|---|
| 28 | demo("grobner.demo");
|
|---|
| 29 |
|
|---|
| 30 | or
|
|---|
| 31 |
|
|---|
| 32 | batch("grobner.demo");
|
|---|
| 33 |
|
|---|
| 34 | and watch the demonstration.
|
|---|
| 35 |
|
|---|
| 36 | Maxima documentation for this package has not been written yet, but
|
|---|
| 37 | there is a sizable amount of documentation in the LISP source.
|
|---|
| 38 |
|
|---|
| 39 | == COMPILATION INSTRUCTIONS FOR SBCL ==
|
|---|
| 40 |
|
|---|
| 41 | When using ASDF:
|
|---|
| 42 | ----------------------------------------------------------------
|
|---|
| 43 | > (require :asdf)
|
|---|
| 44 | > (load "ngrobner.asd")
|
|---|
| 45 | > (asdf:install-system :ngrobner)
|
|---|
| 46 | ----------------------------------------------------------------
|
|---|
| 47 |
|
|---|
| 48 | When not using ASDF (for whatever reason):
|
|---|
| 49 |
|
|---|
| 50 | Step 1. Start SBCL in the directory which is a copy of this directory.
|
|---|
| 51 | Step 2. Execute Lisp commands:
|
|---|
| 52 | ----------------------------------------------------------------
|
|---|
| 53 | > (load "ngrobner-package.lisp")
|
|---|
| 54 | > (ngrobner::compile-ngrobner)
|
|---|
| 55 | ----------------------------------------------------------------
|
|---|
| 56 | The resulting compiled files (extension .fasl for SBCL) can be
|
|---|
| 57 | placed in any directory where Maxima can find them. Then
|
|---|
| 58 | modify "grobner.mac" to reflect this, and every time
|
|---|
| 59 | you load "grobner.mac" the compiled version will be used.
|
|---|
| 60 |
|
|---|
| 61 | == ADDITIONAL COMMENTS ==
|
|---|
| 62 |
|
|---|
| 63 | The files were derived the sources of a package CGBlisp, version 2,
|
|---|
| 64 | also authored by me, which will eventually be released at my Web site
|
|---|
| 65 | (see below). An older version of CGBlisp is available at the Web
|
|---|
| 66 | site.
|
|---|
| 67 |
|
|---|
| 68 | Enjoy.
|
|---|
| 69 | --Marek Rychlik
|
|---|
| 70 |
|
|---|
| 71 | 5-24-2002
|
|---|
| 72 | Revised: 1-25-2009
|
|---|
| 73 | Revised: 1-25-2015
|
|---|
| 74 |
|
|---|
| 75 | E-mail: rychlik@u.arizona.edu
|
|---|
| 76 | URL: http://marekrychlik.com
|
|---|
