MonsInIdeal -- ideal generated by the monomials in an ideal |
Syntax |
MonsInIdeal(I: IDEAL): IDEAL |
Description |
Example |
***** NOT YET IMPLEMENTED ***** use R ::= QQ[x,y,z]; I := ideal(xy^3+z^2, y^5-z^3, xz-y^2-x^3, x^4-xz^2+y^3); MonsInIdeal(I); ideal(z^3, yz^2, x^2z^2, x^5z, x^4yz, x^5y, x^2y^2z, x^7, x^4y^2, xy^3z, y^4z, xy^4, x^3y^3, y^5) ------------------------------- |