up previous next
StdDegRevLexMat

matrices for std. term-orderings

Syntax
StdDegRevLexMat(N:INTEGER):MAT

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

Example
/**/  StdDegRevLexMat(3);
matrix([
  [1, 1, 1],
  [0, 0, -1],
  [0, -1, 0]
])

See Also