up previous next
IsStable

checks if an ideal is stable
Syntax
          
IsStable(I: MONOMIAL IDEAL): BOOL

          

Description
This function tests whether the monomial ideal I is stable.

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


See Also