negLexMatrix -- a local (series) monomial ordering matrix for the input of arcs

Synopsis

• Usage:

  negLexMatrix(d)

• Inputs:
  • d, the dimension, a positive integer
• Outputs:
  • negLexMatrix, a matrix, negative lex d imes d matrix

Description

i1 : M = negLexMatrix 10;

              11        11
o1 : Matrix ZZ   <--- ZZ

The rings should be poly rings over poly rings with local monomial orderings to emphasize series