CoCoA:StronglyStableIdeal

From ApCoCoAWiki
Revision as of 10:02, 24 October 2007 by XMLBot (talk | contribs) (pushing XML rev. 1.46, again)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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>