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