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>