IsStable(I: IDEAL): BOOL
/**/ Use R ::= QQ[x,y,z]; /**/ I := ideal(x*y^3, y^4, x^3, x^2*y, x^2*z); /**/ IsStable(I); true