up previous next
ElimMat

matrix for elimination ordering

Syntax 
ElimMat(ElimInd: LIST of INT, N: INT): MAT
ElimMat(ElimInd: LIST of INT, W: MAT): 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.

NOTE: This function used to have swapped arguments up to version 5.1.4. (e.g. ElimMat(3, [2,3]) )

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

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

See Also