[GAP Forum] How to compute a simplified Groebner basis

[Alexander Hulpke]

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: hulpke at math.colostate.edu, Phone: ++1-970-4914288
http://www.math.colostate.edu/~hulpke