IsLexSegment(I: MONOMIAL IDEAL): BOOL
Use R ::= QQ[x,y,z]; I := Ideal(xy^3, y^4, x^3, x^2y, x^2z); IsLexSegment(I); FALSE -------------------------------