This function returns a matrix for a term ordering eliminating the
indeterminates with indices in ElimInd for inputs which are
homogeneous wrt the weights in the matrix W.
If you are unsure what this means, just use ElimMat ;-)
NOTE: this function used to be called HomogElimMat up to version 5.1.4,
and had swapped arguments.