up previous next
LexSegmentIdeal

lex-segment ideal containing L, or with the same HilbertFn 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