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