up previous next
LexMat

matrices for std. term-orderings

Syntax
LexMat(N:INTEGER):MAT

Description
This function return the matrix defining a standard term-ordering. These functions return matrices defining standard term-orderings.

Example
  LexMat(3);
matrix([
  [1, 0, 0],
  [0, 1, 0],
  [0, 0, 1]
])

See Also