[net.math.symbolic] Buchberger Algorithm wanted

abdali@tekchips.UUCP (Kamal Abdali) (02/09/85)

Does anyone have a Macsyma or Reduce implementation of Buchberger
algorithm for determining Groebner bases?  We are aware of the SAC-2
implementation offered by the University of Heidelberg.

uucp:	    {ucbvax,decvax,ihnp4,allegra,uw-beaver,hplabs}
                    !tektronix!tekchips!abdali
ARPAnet:    abdali.tektronix@csnet-relay
US Mail:    Kamal Abdali
            Computer Research Lab
            Tektronix, Inc.
	    P.O. Box 500 , MS 50-662
            Beaverton, OR 97077

gz@mit-eddie.UUCP (Gail Zacharias) (02/14/85)

I have an implementation of Groebner bases for Macsyma.  It is part
of the SHARE library, under the name 'grob'.  I believe it is included
in the Symbolics Macsyma distributions, and is probably (or will be shortly)
included with NIL Macsyma.  ARPANET users can ftp copies from MIT-MC, files
"GZ;GROB >" (the source) and "GZ;GROB DOC" (documentation).

			Gail Zacharias
			GZ@MIT-MC.ARPA
			{genrad,ihnp4}!mit-eddie!gz