ReducedGBasis |
Syntax |
ReducedGBasis(M:IDEAL, MODULE, or TAGGED("Quotient")):LIST |
Description |
Example |
/**/ Use R ::= QQ[t,x,y,z]; /**/ I := ideal(t^3-x, t^4-y, t^5-z); --***OBSOLETE MANUAL: WORK IN PROGRESS*** $gb.Start_GBasis(I); -- start the Interactive Groebner Framework $gb.Steps(I,1); -- take one step towards computing the Groebner basis I.GBasis; -- the Groebner basis so far [t^3 - x] $gb.Complete(I);-- finish the computation I.GBasis; [t^3 - x, -tx + y, -ty + z, -y^2 + xz, -x^2 + tz, t^2z - xy] /**/ ReducedGBasis(I); [y^2 -x*z, t*y -z, x^2 -t*z, t*x -y, t^2*z -x*y, t^3 -x] |
See Also |