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^3]);
ideal(y^3, x*z^2, x*y*z, x*y^2, x^2*z, x^2*y, x^3)
/**/  LexSegmentIdeal(ideal(y^3));
ideal(x^3)

See Also