On approximate triangular decompositions in dimension zero

  • Authors:

  • Marc Moreno Maza;Greg Reid;Robin Scott;Wenyuan Wu

  • Affiliations:

  • Computer Science Department, University of Western Ontario, London, ON N6A 5B7, Canada;Applied Mathematics Department, University of Western Ontario, London, ON N6A 5B7, Canada;Applied Mathematics Department, University of Western Ontario, London, ON N6A 5B7, Canada;Applied Mathematics Department, University of Western Ontario, London, ON N6A 5B7, Canada

  • Venue:
  • Journal of Symbolic Computation
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Triangular decompositions for systems of polynomial equations with n variables, with exact coefficients, are well developed theoretically and in terms of implemented algorithms in computer algebra systems. However there is much less research concerning triangular decompositions for systems with approximate coefficients. In this paper we discuss the zero-dimensional case of systems having finitely many roots. Our methods depend on having approximations for all the roots, and these are provided by the homotopy continuation methods of Sommese, Verschelde and Wampler. We introduce approximate equiprojectable decompositions for such systems, which represent a generalization of the recently developed analogous concept for exact systems. We demonstrate experimentally the favorable computational features of this new approach, and give a statistical analysis of its error.