IdealOfGBasis -- ideal generated by GBasis |
Syntax |
IdealOfGBasis(I: IDEAL): IDEAL |
Description |
Example |
/**/ use R ::= QQ[x,y,z]; /**/ I := ideal(x^10 -x*y -1, x^5*y^5 -x*z -1, x^5*z^5 -x*z -1); /**/ J1 := ideal(GBasis(I)); /**/ HasGBasis(J1); false /**/ J2 := IdealOfGBasis(I); /**/ HasGBasis(J2); true |
See Also |