HomogElimMat(W: MAT, ElimInd: LIST): MAT
/**/ HomogElimMat(mat([[1,5,0]]), [2,3]); matrix(QQ, [[1, 5, 0], [0, 1, 1], [0, 0, -1]])