Univariate Polynomial Real Root Isolation: Continued Fractions Revisited

  • Elias P. Tsigaridas
  • Ioannis Z. Emiris
Conference paper

DOI: 10.1007/11841036_72

Volume 4168 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Tsigaridas E.P., Emiris I.Z. (2006) Univariate Polynomial Real Root Isolation: Continued Fractions Revisited. In: Azar Y., Erlebach T. (eds) Algorithms – ESA 2006. ESA 2006. Lecture Notes in Computer Science, vol 4168. Springer, Berlin, Heidelberg

Abstract

We present algorithmic, complexity and implementation results concerning real root isolation of integer univariate polynomials using the continued fraction expansion of real numbers. We improve the previously known bound by a factor of , where d is the polynomial degree and τ bounds the coefficient bitsize, thus matching the current record complexity for real root isolation by exact methods. Namely, the complexity bound is \({{\widetilde{\mathcal{O}}_B}(d^4 \tau^2)}\) using a standard bound on the expected bitsize of the integers in the continued fraction expansion. We show how to compute the multiplicities within the same complexity and extend the algorithm to non square-free polynomials. Finally, we present an efficient open-source C++ implementation in the algebraic library synaps, and illustrate its efficiency as compared to other available software. We use polynomials with coefficient bitsize up to 8000 and degree up to 1000.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Elias P. Tsigaridas
    • 1
  • Ioannis Z. Emiris
    • 1
  1. 1.Department of Informatics and TelecommunicationsNational Kapodistrian University of AthensHELLAS