CoCoA:IsStable

IsStable

checks if an ideal is stable

Description

This function tests whether the monomial ideal I is stable.

Example

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

Syntax

IsStable(I: MONOMIAL IDEAL): BOOL

IsLexSegment

IsStronglyStable

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