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 for each column the first nonnegative entry is positive.

Example 
/**/  IsTermOrdering(LexMat(5));
true

/**/  IsTermOrdering(StdDegRevLexMat(5));
true

/**/  IsTermOrdering(RevLexMat(5));
false

See Also