CoCoA:IsStronglyStable

IsStronglyStable

checks if an ideal is strongly stable

Description

This function tests whether the monomial ideal I is strongly stable

(Borel-fixed in characteristic 0).

Example

  Use R ::= Q[x,y,z];
  I := Ideal(xy^3, y^4, x^3, x^2y, x^2z);
  IsStronglyStable(I);
TRUE
-------------------------------

Syntax

IsStronglyStable(I: MONOMIAL IDEAL): BOOL

IsLexSegment

IsStable

   <type>ideal</type>
   <type>boolean</type>