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