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.

In the second form, a weight matrix W is given; these weights are placed immediately below 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]])

/**/  ElimOrd := ElimMat([2,3], mat([[1,5,2]]));  ElimOrd;
matrix(ZZ,
 [[0, 1, 1],
  [1, 5, 2],
  [0, 0, -1]])
/**/ P := NewPolyRing(QQ, "x,y,z", ElimOrd, 0);

See Also