up previous next
StdDegRevLexMat

matrices for std. term-orderings

Syntax 
StdDegRevLexMat(N: INT): MAT

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

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

See Also