Hybrid sparse resultant matrices for bivariate polynomials

  • Authors:
  • Carlos D'Andrea;Ioannis Z. Emiris

  • Affiliations:
  • Departamento de Matemética, FCEyN, UBA (1428) Buenos Aires, Argentina;INRIA, B.P. 93, Sophia-Antipolis 06902, France

  • Venue:
  • Journal of Symbolic Computation - Computer algebra: Selected papers from ISSAC 2001
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study systems of three bivariate polynomials whose Newton polygons are scaled copies of a single polygon. Our main contribution is to construct square resultant matrices, which are submatrices of those introduced by Cattani et al. (1998), and whose determinants are nontrivial multiples of the sparse (or toric) resultant. The matrix is hybrid in that it contains a submatrix of Sylvester type and an additional row expressing the toric Jacobian. If we restrict our attention to matrices of (almost) Sylvester-type and systems as specified above, then the algorithm yields the smallest possible matrix in general. This is achieved by strongly exploiting the combinatorics of sparse elimination, namely by a new piecewise-linear lifting. The major motivation comes from systems encountered in geometric modeling. Our preliminary MAPLE implementation, applied to certain examples, illustrates our construction and compares it with alternative matrices.