Groebner bases and Macaulay2



I assume Gail's code can be found, as can Gail, who last I knew
lived in the Boston/Cambridge Massachusetts area and worked for
a software company writing for Macintosh computers.

On the other hand, if you wish to write a new GB package based
on the best alternative today, I think you could do so.  Another
possibility is to write an interface program that takes a macsyma
problem statement and transfers the notation to some one of
the other programs (and back).  I think that Bill Schelter's
xmaxima interfaced with one of the systems you mention.

RJF


Daniel Martins wrote:
> 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
>>
> 
> _______________________________________________
> Maxima mailing list
> Maxima@www.math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima