isGenSegment J
The first element of the sequence is a boolean value. It tells if the ideal is a segment, i.e. if there exists a term ordering such that every generator of the ideal is strictly greater than every monomial outside the ideal of the same degree. If true, the second element of the sequence contains the list of weights giving the corresponding ordering on the monomials.



The object isGenSegment is a method function.