up previous next
ElimMat

matrix for elimination ordering

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

Description
This function returns an NxN matrix representing a term ordering for 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