28585 articles – 22073 Notices  [english version]

inria-00073477, version 1

How to Count Efficiently all Affine Roots of a Polynomial System

Ioannis Z. Emiris 1, Jan Verschelde

N° RR-3212 (1997)

Résumé : Polynomials are ubiquitous in a variety of applications. A relatively recent theory exploits their sparse structure by associating a point configuration to each polynomial system; however, it has so far mostly dealt with roots having nonzero coordinates. We shift attention to arbitrary affine roots, and improve upon the existing algorithms for counting them and computing them numerically. The one existing approach is too expensive in practice because of the usage of recursive liftings of the given point configuration. Instead, we define a single lifting which yields the desired count and defines a homotopy continuation for computing all solutions. We enhance the numerical stability of the homotopy by establishing lower bounds on the lifting values and prove that they can be derived dynamically to obtain the lowest possible values. Our construction may be regarded as a generalization of the dynamic lifting algorithm for the computation of mixed cells.

  • 1 :  SAFIR (INRIA Sophia Antipolis)
  • INRIA
  • Domaine : Informatique/Autre
  • Mots-clés : REGULAR SUBDIVISION / DYNAMIC LIFTING / STABLE MIXED VOLUME / POLYHEDRAL HOMOTOPY / AFFINE ROOT COUNT / POLYNOMIAL SYSTEM
  • Référence interne : RR-3212
 
  • inria-00073477, version 1
  • oai:hal.inria.fr:inria-00073477
  • Contributeur : 
  • Soumis le : Mercredi 24 Mai 2006, 12:57:20
  • Dernière modification le : Mercredi 31 Mai 2006, 14:24:27