up previous next
LexSegmentIdeal

lex-segment ideal containing L, or with the same Hilbert fn as I
Syntax 

LexSegmentIdeal(L: LIST of power-products): IDEAL
LexSegmentIdeal(I: IDEAL): IDEAL

Description
If the argument is a list of power-products L, this function returns the smallest lex-segment ideal containing the power-products in L.

If it is an ideal I, it returns the lex-segment ideal having the same Hilbert function as I.

Example 
  Use R ::= QQ[x,y,z];

  LexSegmentIdeal([y^4]);
Ideal(x^4, x^3y, x^3z, x^2y^2, x^2yz, x^2z^2, xy^3, xy^2z, xyz^2, xz^3, y^4)

  LexSegmentIdeal(Ideal(y^4));
Ideal(x^4);
-------------------------------


See Also