up previous next
IsStronglyStable

checks if an ideal is strongly stable
Syntax 

IsStronglyStable(I: MONOMIAL IDEAL): BOOL

Description
This function tests whether the monomial ideal I is strongly stable (Borel-fixed in characteristic 0).

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


See Also