CoCoA:LexSegmentIdeal
From ApCoCoAWiki
LexSegmentIdeal
lex-segment ideal containing L
Description
This function returns the smallest lex-segment ideal containing the
power-products in L.
Example
Use R ::= Q[x,y,z]; L := [y^4]; LexSegmentIdeal(L); 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) -------------------------------
Syntax
LexSegmentIdeal(L: LIST of power-products): IDEAL
<type>ideal</type> <type>list</type>