Some time ago appeared a comment (Dan Stanger) about
Groebner bases implementation and Prof Fateman replied that someone
called Gail Zacharias have done this job but it seems to be lost.
Well, I fell that Groebner bases are a quite important topic to a
CAS. So, if the code was really lost I would as k about adding some
code from other open source CAS. One that fits best seems to be
macaulay2 described below. Other possibilities are CoCoa
(ftp://cocoa.dima.unige.it/cocoa/index.html) and Singular
(http://www.singular.uni-kl.de/) which is also GPL.
I really do not know about the difficulties this task would require
but I feel that sooner or later we will need to face it.
* Package name : macaulay2
Version : 0.9.2
Upstream Author : Daniel Grayson <dan@math.uiuc.edu>,
Michael Stillman <mike@math.cornell.edu>
* URL : http://www.math.uiuc.edu/Macaulay2/
* License : GPL
Description : Computer commutative algebra system
>********************************************
>Dan Stanger dan.stanger@ieee.org
>Sat, 24 Nov 2001 15:43:34 -0700
>
> * Previous message: [Maxima] Lindstedt code
> * Next message: [Maxima] groebner basis code
> * Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
>
>Is anyone working on a groebner code in maxima, or does anyone know
>if the code written by Gail Zacharias which was contributed to the
>commercial code is available?
>
>
>******************************************************
>
>Richard Fateman fateman@cs.berkeley.edu
>Sun, 25 Nov 2001 17:03:18 -0800
>
> * Previous message: [Maxima] groebner basis code
> * Next message: [Maxima] Emaxima questions/bug report
> * Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
>
>I think at least one version of Gail's code was written for the
>pre-1982 macsyma.
>
>Has it been lost?
>
>For some reason your message with subject "Linstedt" is not coming
>through my mail reader. So far as I know there were a few papers on
>this topic but it is rather difficult to fully automate. (almost any
>asymptotic methods tend to require a steady hand on the tiller...)
>RJF
>