CoCoA:StronglyStableIdeal

StronglyStableIdeal

strongly stable ideal containing L

Description

This function returns the smallest strongly stable ideal containing the

power-products in L.

Example

  Use R ::= Q[x,y,z];
  L := [xy^2z];
  StableIdeal(L);
Ideal(x^4, x^3y, x^2y^2, xy^3, xy^2z)
-------------------------------
  StronglyStableIdeal(L);
Ideal(x^4, x^3y, x^2y^2, xy^3, x^3z, x^2yz, xy^2z)
-------------------------------

Syntax

StronglyStableIdeal(L: LIST of power-products): IDEAL

IsStronglyStable

LexSegmentIdeal

StableIdeal

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