Solving Zero-dimensional Polynomial Systems through the Rational Univariate Representation

Fabrice Rouillier 1
1 POLKA - Polynomials, Combinatorics, Arithmetic
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This paper is devoted to the {\it resolution} of zero-dimensional systems in $K[X_1,\ldots X_n]$, where $K$ is a field of characteristic zero (or strictly positive under some conditions). We give a new definition for {\rm solving zero-dimensional systems} by introducing the {\it Univariate Representation} of their roots. We show by this way that the solutions of any zero-dimensional system of polynomials can be expressed through a special kind of univariate representation ({\it Rational Univariate Representation}): $$ \begin{array}{c} f(T)=0 \\ X_1=\frac{g_1(T)}{g(T)} \\ \vdots \\ X_n=\frac{g_n(T)}{g(T)} \\ \end{array} $$ where $(f,g,g_1,\ldots ,g_n)$ are polynomials of $K[X_1,\ldots ,X_n]$, without loosing geometrical information (multiplicities, real roots). Moreover we propose different efficient algorithms for the computation of the {\it Rational Univariate Representation}, and we make a comparison with standard known tools.
Type de document :
Rapport
[Research Report] RR-3426, INRIA. 1998, pp.23
Liste complète des métadonnées

https://hal.inria.fr/inria-00073264
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 12:22:26
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:40:19

Fichiers

Identifiants

  • HAL Id : inria-00073264, version 1

Collections

Citation

Fabrice Rouillier. Solving Zero-dimensional Polynomial Systems through the Rational Univariate Representation. [Research Report] RR-3426, INRIA. 1998, pp.23. 〈inria-00073264〉

Partager

Métriques

Consultations de la notice

230

Téléchargements de fichiers

502