Univariate Algebraic Kernel and Application to Arrangements - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2009

Univariate Algebraic Kernel and Application to Arrangements

Résumé

Solving polynomials and performing operations with real algebraic numbers are critical issues in geometric computing, in particular when dealing with curved objects. Moreover, the real roots need to be computed in a certified way in order to avoid possible inconsistency in geometric algorithms. Developing efficient solutions for this problem is thus an important issue for the development of libraries of computational geometry algorithms and, in particular, for the state-of-the-art (open source) cgal library. We present a cgal-based univariate algebraic kernel, which provides certified real-root isolation of univariate polynomials with integer coefficients and standard functionalities such as basic arithmetic operations, greatest common divisor (gcd) and square-free factorization, as well as comparison and sign evaluations of real algebraic numbers. We compare our kernel with other comparable kernels, demonstrating the efficiency of our approach. Our experiments are performed on large data sets including polynomials of high degree (up to 2 000) and with very large coefficients (up to 25 000 bits per coefficient). We also address the problem of computing arrangements of x-monotone polynomial curves. We apply our kernel to this problem and demonstrate its efficiency compared to previous solutions available in cgal. We also present the first bit-complexity analysis of the standard sweep-line algorithm for this problem.
Fichier principal
Vignette du fichier
RR-6893.pdf (464.81 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00372234 , version 1 (31-03-2009)

Identifiants

  • HAL Id : inria-00372234 , version 1

Citer

Sylvain Lazard, Luis Peñaranda, Elias P. Tsigaridas. Univariate Algebraic Kernel and Application to Arrangements. [Research Report] RR-6893, INRIA. 2009, pp.17. ⟨inria-00372234⟩
227 Consultations
188 Téléchargements

Partager

Gmail Facebook X LinkedIn More