up previous next
LexMat

matrices for std. term-orderings

Syntax 
LexMat(N: INT): MAT

Description
This function return the matrix defining the standard term-ordering "lex".

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

See Also