Univariate real root isolation in presence of logarithms - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2013

Univariate real root isolation in presence of logarithms

Adam Strzebonski
  • Fonction : Auteur
  • PersonId : 935336

Résumé

We present algorithmic, complexity and implementation results for the problem of isolating the real roots of a univariate polynomial $B \in L[x]$, where $L=\QQ[ \lg(\alpha)]$ and $\alpha$ is a positive real algebraic number. Our algorithms are based on approximating the coefficients of $B$ up to a sufficient accuracy and then solving the approximate polynomial. For this we derive worst case (aggregate) separation bounds. We also estimate the expected number of real roots when we draw the coefficients from a specific distribution and illustrate our result experimentally. A generalization to bivariate polynomial systems is also presented. We implemented the algorithm in \func{C} as part of the core library of \mathematica for the case $B \in \ZZ[ \lg(q)][x]$ where $q$ is positive rational number and we demonstrate its efficiency over various data sets.
Fichier principal
Vignette du fichier
st-rs-log.pdf (264.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01001820 , version 1 (05-06-2014)
hal-01001820 , version 2 (29-01-2015)
hal-01001820 , version 3 (24-12-2016)

Identifiants

  • HAL Id : hal-01001820 , version 1

Citer

Adam Strzebonski, Elias Tsigaridas. Univariate real root isolation in presence of logarithms. 2013. ⟨hal-01001820v1⟩
268 Consultations
300 Téléchargements

Partager

Gmail Facebook X LinkedIn More