up
previous
next
DegLexMat, DegRevLexMat, LexMat, XelMat
Syntax
DegLexMat(N:INTEGER):MAT
DegRevLexMat(N:INTEGER):MAT
LexMat(N:INTEGER):MAT
XelMat(N:INTEGER):MAT
Summary
matrices for std. term-orderings
Description
These functions return matrices defining standard term-orderings.
example
DegLexMat(3);
Mat[
[1, 1, 1],
[1, 0, 0],
[0, 1, 0]
]
-------------------------------
DegRevLexMat(3);
Mat[
[1, 1, 1],
[0, 0, -1],
[0, -1, 0]
]
-------------------------------
LexMat(3);
Mat[
[1, 0, 0],
[0, 1, 0],
[0, 0, 1]
]
-------------------------------
XelMat(3);
Mat[
[0, 0, 1],
[0, 1, 0],
[1, 0, 0]
]
-------------------------------
See Also