CoCoA:MonsInIdeal
From ApCoCoAWiki
MonsInIdeal
ideal generated by the monomials in an ideal
Description
This function returns the ideal generated by all monomials in the
original ideal I.
Example
Use R ::= Q[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)
-------------------------------
Syntax
MonsInIdeal(I:IDEAL):IDEAL
<type>ideal</type>
