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