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