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