- Usage:
`eliminationMatrix(..., Strategy => ciResidual)`

- Consequences:
- This function basically computes the matrix of the first application in the resolution of (I:J) given in the article of Bruns, Kustin and Miller: 'The resolution of the generic residual intersection of a complete intersection', Journal of Algebra 128.

The first argument is a list of homogeneous polynomials *J=(g _{1},..,g_{m})* forming a complete intersection with respect to the variables 'varList'. Given a system of homogeneous

The object ciResidual is a symbol.