up previous next
IsStable, IsStronglyStable

checks if an ideal is stable (resp. strongly stable)
Syntax

IsStable(I: MONOMIAL IDEAL): BOOL
IsStronglyStable(I: MONOMIAL IDEAL): BOOL


Description
These functions test whether the monomial ideal I is stable, 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);
  IsStable(I);
TRUE
-------------------------------
  IsStronglyStable(I);
TRUE
-------------------------------