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