HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information

# Solving Zero-dimensional Polynomial Systems through the Rational Univariate Representation

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.
Keywords :
Document type :
Reports
Domain :

https://hal.inria.fr/inria-00073264
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 12:22:26 PM
Last modification on : Friday, February 4, 2022 - 3:34:41 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:40:19 PM

### Identifiers

• HAL Id : inria-00073264, version 1

### Citation

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

Record views