up previous next
MonsInIdeal

ideal generated by the monomials in an ideal

Syntax
MonsInIdeal(I: IDEAL): IDEAL

Description
***** NOT YET IMPLEMENTED *****

This function returns the ideal generated by all monomials in the original ideal I.

Example
  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)
-------------------------------