ReducedGBasis -- reduced Groebner basis |
Syntax |
ReducedGBasis(I: IDEAL): LIST of RINGELEM ReducedGBasis(I: MODULE): LIST of MODULEELEM |
Description |
Example |
/**/ use R ::= QQ[x,y]; /**/ I := ideal(x^4-x^2, x^3-y); /**/ ReducedGBasis(I); [x*y -y^2, x^2 -y^2, y^3 -y] |
See Also |