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