CoCoA:LexSegmentIdeal

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

IsLexSegment

StableIdeal

StronglyStableIdeal

   <type>ideal</type>
   <type>list</type>