IsTermOrdering(M: MAT): BOOL
/**/ IsTermOrdering(LexMat(5)); true /**/ IsTermOrdering(StdDegRevLexMat(5)); true /**/ IsTermOrdering(RevLexMat(5)); false