IsTermOrdering |
Syntax |
IsTermOrdering(M:MAT):BOOL |
Description |
Example |
IsTermOrdering(LexMat(5)); True ------------------------------- IsTermOrdering(DegRevLexMat(5)); True ------------------------------- IsTermOrdering(RevLexMat(5)); False ------------------------------- |
See Also |