Gin |
Syntax |
Gin(I: IDEAL): IDEAL Gin(I: IDEAL, Range: INT): IDEAL |
Description |
Example |
Use R ::= Q[x,y,z]; -- the default term-ordering is DegRevLex Gin(Ideal(y^2-xz, x^2z-yz^2)); Ideal(x^2, xy^2, y^4) ------------------------------- Use R ::= Q[x,y,z], Lex; Gin(Ideal(y^2-xz, x^2z-yz^2), 20); Ideal(x^2, xy^2, xyz^2, xz^4, y^6) ------------------------------- |