Use R ::= QQ[x,y,z], DegRevLex;
Gin(ideal(y^2-xz, x^2z-yz^2));
ideal(x^2, xy^2, y^4)
-------------------------------
Use R ::= QQ[x,y,z], Lex;
Gin(ideal(y^2-xz, x^2z-yz^2), 10); -- coeffs in range [-10, 10]
ideal(x^2, xy^2, xyz^2, xz^4, y^6)
-------------------------------
Use R ::= QQ[x,y,z], DegRevLex;
Gin5(ideal(y^2-xz, x^2z-yz^2)); -- default coeff range [-10000, 10000]
ideal(x^2, xy^2, y^4)
-------------------------------
Use R ::= QQ[x,y,z], Lex;
Gin5(ideal(y^2-xz, x^2z-yz^2), 2); -- choose dangerously small range [-2,2]:
-- ==> answer might be wrong
|