Dear Jason Shan,
So my question is how to get the simplified Groebner basis in GAP ?
`ReducedGroebnerBasis' eliminates redundant terms and scales the
leading coefficients to be 1, the result will be unique.
gap> ReducedGroebnerBasis(I,ord);
[ y^3-1/2, x ]
Best,
Alexander Hulpke
-- Colorado State University, Department of Mathematics,
Weber Building, 1874 Campus Delivery, Fort Collins, CO 80523-1874, USA
email: hul...@math.colostate.edu, Phone: ++1-970-4914288
http://www.math.colostate.edu/~hulpke
_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum
