up
previous
next
RevLexMat
matrices for std. term-orderings
Syntax
RevLexMat(N: INT): MAT
Description
This function return the matrix defining a standard ordering (which is not a term-ordering!).
Example
/**/ RevLexMat(3); matrix([ [0, 0, -1], [0, -1, 0], [-1, 0, 0] ])
See Also
OrdMat
Orderings
StdDegRevLexMat
StdDegLexMat
LexMat
XelMat