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₁,..,g_n)
  • , such that
  • I=(f₁,..,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).