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: |