CM2Residual -- Strategy for eliminationMatrix.

Synopsis

• Usage:

  eliminationMatrix(..., Strategy => CM2Residual)

• Consequences:

  • Suppose given a homogeneous ideal locally complete intersection Cohen-Macaulay of codimension 2,
  • $J=(g_1,..,g_n)$
  • , such that
  • $I=(f_1,..,f_m)$
  • is included in J and (I:J) is a residual intersection. Let H be the matrix that I=J.H. Let R be the matrix of the first syzygies of J. This function computes an elimination matrix corresponding to the residual resultant over V(I) over V(J).