up previous next
ElimMat

matrix for elimination ordering

Syntax
ElimMat(N: INT, ElimInd: LIST): MAT
ElimMat(W: MAT, ElimInd: LIST): MAT

Description
This function returns an NxN matrix for a term ordering eliminating the indeterminates with indices in ElimInd . If a weight matrix is given, then these weights are included after the first elimination row.

Example
/**/  ElimMat(3, [2,3]);
matrix(QQ,
 [[0, 1, 1],
  [1, 1, 1],
  [0, 0, -1]])

/**/  ElimMat(mat([[1,5,0]]), [2,3]);
matrix(QQ,
 [[0, 1, 1],
  [1, 5, 0],
  [0, 0, -1]])

See Also