CoCoA:IsLexSegment
From ApCoCoAWiki
IsLexSegment
checks if an ideal is lex-segment
Description
This function tests whether the monomial ideal I is a lex-segment ideal.
Example
Use R ::= Q[x,y,z]; I := Ideal(xy^3, y^4, x^3, x^2y, x^2z); IsLexSegment(I); FALSE -------------------------------
Syntax
IsLexSegment(I: MONOMIAL IDEAL): BOOL
<type>ideal</type> <type>boolean</type>
