up previous next
IsTermOrdering

check if a matrix defines a term-ordering
Syntax 

IsTermOrdering(M:MAT):BOOL

Description
This function determines whether a square matrix defines a term-ordering, i.e. if its determinant is non-zero and if foreach column the first nonnegative entry is positive.

Example 
  IsTermOrdering(LexMat(5));
TRUE
-------------------------------
  IsTermOrdering(DegRevLexMat(5));
TRUE
-------------------------------
  IsTermOrdering(RevLexMat(5));
FALSE
-------------------------------


See Also