This code is not related to Gail's code, or CoCoa
or Singular. Is it better? who knows.
It is, if you read about it, based on a program CBG entirely
separate from Macsyma.
There are at least 2 ways of thinking about this.
(a) the built in RAT package is not oriented toward the
monomial ordering requirements of GB calculations and can't
be used. So rewriting addition, multiplication (by monomial),
etc etc is inevitable. And this was done.
(b) using the built-in stuff would require understanding
too much of the internals of macsyma.
I think the truth is a mixture of the two. When this code
was last mentioned here it was not clear if it was
GPL or not. It seems not, though.
RJF
C Y wrote:
> --- Daniel Martins <dmartins@das.ufsc.br> 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.
>
>
> What about this package:
> http://alamos.math.arizona.edu/~rychlik/MaximaGrobner.zip
>
> Is that what you're after?
>
> CY
>
> __________________________________________________
> Do you Yahoo!?
> Yahoo! Mail Plus - Powerful. Affordable. Sign up now.
> http://mailplus.yahoo.com
> _______________________________________________
> Maxima mailing list
> Maxima@www.math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima