[7] | 1 | Dear User:
|
---|
| 2 |
|
---|
[318] | 3 | This archive contains files which provide Grobner basis support for the
|
---|
[339] | 4 | free computer algebra system Maxima. The older versions of the package
|
---|
| 5 | are distributed with Maxima in the subfolder of the Maxima installation
|
---|
| 6 | tree:
|
---|
| 7 | ----------------------------------------------------------------
|
---|
| 8 | share/contrib/Grobner
|
---|
| 9 | ----------------------------------------------------------------
|
---|
[338] | 10 |
|
---|
| 11 | == INSTALLATION INSTRUCTIONS ==
|
---|
| 12 |
|
---|
| 13 | In order to use the package,
|
---|
[318] | 14 | 1. Copy the files in this directory to your favorite location;
|
---|
| 15 | or better, checkout the contents of this repository with SVN.
|
---|
| 16 | 2. Edit the file "grobner.mac" to modify the location of the Lisp
|
---|
| 17 | files, to reflect your choice made in previous step.
|
---|
| 18 | 3. Start your Maxima and load the file "grobner.mac"
|
---|
| 19 | 4. Optionally, compile the Lisp files, so that the next file
|
---|
| 20 | you load "grobner.mac", the compiled (.fasl) versions of
|
---|
[320] | 21 | the files will be loaded. The compilation instructions
|
---|
| 22 | vary slightly depending on Lisp version.
|
---|
[7] | 23 |
|
---|
[318] | 24 | This version has been verified to work under this Maxima version:
|
---|
[328] | 25 |
|
---|
[318] | 26 | ----------------------------------------------------------------
|
---|
| 27 | Maxima 5.34.1 http://maxima.sourceforge.net
|
---|
| 28 | using Lisp SBCL 1.2.4-1.fc21
|
---|
| 29 | ----------------------------------------------------------------
|
---|
[7] | 30 |
|
---|
[9] | 31 | It should also be portable across other ANSI Common Lisp implementations.
|
---|
[8] | 32 |
|
---|
[7] | 33 | The file grobner.demo is a Macsyma-style demo file for most of the operations
|
---|
| 34 | provided by the package. In order to run it, go to the Maxima level and
|
---|
| 35 | type:
|
---|
| 36 |
|
---|
| 37 | demo("grobner.demo");
|
---|
| 38 |
|
---|
| 39 | or
|
---|
| 40 |
|
---|
| 41 | batch("grobner.demo");
|
---|
| 42 |
|
---|
| 43 | and watch the demonstration.
|
---|
| 44 |
|
---|
| 45 | Maxima documentation for this package has not been written yet, but
|
---|
| 46 | there is a sizable amount of documentation in the LISP source.
|
---|
| 47 |
|
---|
[330] | 48 | == COMPILATION INSTRUCTIONS FOR SBCL ==
|
---|
[7] | 49 |
|
---|
[336] | 50 | === When using ASDF (preferred way):
|
---|
[321] | 51 | ----------------------------------------------------------------
|
---|
[320] | 52 | > (require :asdf)
|
---|
| 53 | > (load "ngrobner.asd")
|
---|
| 54 | > (asdf:install-system :ngrobner)
|
---|
[321] | 55 | ----------------------------------------------------------------
|
---|
[334] | 56 | The compiled files (extension .fasl for SBCL) will be typically
|
---|
| 57 | placed in a standard location determined by the ASDF configuration. On my system it is:
|
---|
| 58 | ----------------------------------------------------------------
|
---|
| 59 | /home/marek/.cache/common-lisp/sbcl-1.2.4-1.fc21-linux-x64/home/marek/Repos/MaximaGrobner/branches/f4grobner/
|
---|
| 60 | ----------------------------------------------------------------
|
---|
| 61 | given that the SVN repository was copied to /home/marek/Repos/MaximaGrobner.
|
---|
[320] | 62 |
|
---|
[334] | 63 | === When not using ASDF (for whatever reason):
|
---|
| 64 |
|
---|
[332] | 65 | Step 1. Start SBCL in the directory which is a copy of this directory.
|
---|
| 66 | Step 2. Execute Lisp commands:
|
---|
[329] | 67 | ----------------------------------------------------------------
|
---|
| 68 | > (load "ngrobner-package.lisp")
|
---|
| 69 | > (ngrobner::compile-ngrobner)
|
---|
| 70 | ----------------------------------------------------------------
|
---|
[320] | 71 |
|
---|
[335] | 72 | The resulting compiled files (extension .fasl for SBCL) will end up in
|
---|
| 73 | the same folder as the Lisp files. Then can be moved any directory
|
---|
| 74 | where Maxima can find them, as determined by the variable
|
---|
| 75 | file_search_lisp. This variable needs to be modified in "grobner.mac"
|
---|
| 76 | accordingly. After that, every time you load "grobner.mac" the
|
---|
| 77 | compiled version will be used.
|
---|
| 78 |
|
---|
[330] | 79 | == ADDITIONAL COMMENTS ==
|
---|
| 80 |
|
---|
[319] | 81 | The files were derived the sources of a package CGBlisp, version 2,
|
---|
| 82 | also authored by me, which will eventually be released at my Web site
|
---|
| 83 | (see below). An older version of CGBlisp is available at the Web
|
---|
| 84 | site.
|
---|
[7] | 85 |
|
---|
| 86 | Enjoy.
|
---|
| 87 | --Marek Rychlik
|
---|
| 88 |
|
---|
| 89 | 5-24-2002
|
---|
| 90 | Revised: 1-25-2009
|
---|
[316] | 91 | Revised: 1-25-2015
|
---|
[7] | 92 |
|
---|
| 93 | E-mail: rychlik@u.arizona.edu
|
---|
[317] | 94 | URL: http://marekrychlik.com
|
---|