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: