up previous next
LexSegmentIdeal    --    lex-segment ideal containing L, or with the same HilbertFn as I

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

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 .

/**/  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));

See Also