Univariate real root isolation over a single logarithmic extension of real algebraic numbers - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

Univariate real root isolation over a single logarithmic extension of real algebraic numbers

Adam Strzebonski
  • Function : Author
  • PersonId : 935336
Elias Tsigaridas

Abstract

We present algorithmic, complexity and implementation results for the problem of isolating the real roots of a univariate polynomial B ∈ L[x], where L = Q[lg(α)] and α is a positive real algebraic number. The algorithm approximates the coefficients of B up to a sufficient accuracy and then solves 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 results experimentally. A generalization to bivariate polynomial systems is also presented. We implemented the algorithm in C as part of the core library of mathematica for the case B ∈ Z[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 (1).pdf (429.38 Ko) Télécharger le fichier
st-rs-log.pdf (429.38 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

Adam Strzebonski, Elias Tsigaridas. Univariate real root isolation over a single logarithmic extension of real algebraic numbers. ACA 2015 - Applications of Computer Algebra, Jul 2015, Kalamata, Greece. pp.425-445, ⟨10.1007/978-3-319-56932-1_27⟩. ⟨hal-01001820v3⟩
257 View
277 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More