up previous next
IdealOfGBasis    --    ideal generated by GBasis


Syntax 
IdealOfGBasis(I: IDEAL): IDEAL

Description
After the GBasis of I is (explicitly or implicitly) computed, it is stored within I for future use. This function returns the ideal generated by the GBasis of I, and knows it is a GBasis.

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