Macaulay -- Strategy for eliminationMatrix.

• Usage:

  eliminationMatrix(..., Strategy => Macaulay)

• Consequences:

  • Let
  • $f_1,...,f_n$
  • be a polynomials two groups of variables
  • $X_1,...,X_n$
  • and
  • $a_1,...,a_s$
  • and such that
  • $f_1,...,f_n$
  • are homogeneous polynomials with respect to the variables
  • $X_1,...,X_n$
  • . This function returns a matrix which is generically (in terms of the parameters
  • $a_1,...,a_s$
  • ) surjective such that the gcd of its maximal minors is the Macaulay resultant of
  • $f_1,...,f_n$
  • .