From an approximate to an exact absolute polynomial factorization

  • Authors:
  • Guillaume Chèze;André Galligo

  • Affiliations:
  • Laboratoire de Mathématiques, Université de Nice Sophia Antipolis, Parc Valrose, Nice 06108 Cedex 2, France;Laboratoire de Mathématiques, Université de Nice Sophia Antipolis, Parc Valrose, Nice 06108 Cedex 2, France

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

Quantified Score

Hi-index 0.00

Visualization

Abstract

We propose an algorithm for computing an exact absolute factorization of a bivariate polynomial from an approximate one. This algorithm is based on some properties of the algebraic integers over Z and is certified. It relies on a study of the perturbations in a Vandermonde system. We provide a sufficient condition on the precision of the approximate factors, depending only on the height and the degree of the polynomial.