Sign Determination in Residue Number Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Theoretical Computer Science Year : 1999

Sign Determination in Residue Number Systems


Sign determination is a fundamental problem in algebraic as well as geometric computing. It is the critical operation when using real algebraic numbers and exact geometric predicates. We propose an exact and efficient method that determines the sign of a multivariate polynomial expression with rational coefficients. Exactness is achieved by using modular computation. Although this usually requires some multiprecision computation, our novel techniques of recursive relaxation of the moduli and their variants enable us to carry out sign determination and comparisons by using only single precision. Moreover, to exploit modern day hardware, we exclusively rely on floating point arithmetic, which leads us to a hybrid symbolic-numeric approach to exact arithmetic. We show how our method can be used to generate robust and efficient implementations of real algebraic and geometric algorithms including Sturm sequences, algebraic representation of points and curves, convex hull and Voronoi diagram computations and solid modeling. This method is highly parallelizable, easy to implement, and compares favorably with known multiprecision methods from a practical complexity point of view. We substantiate these claims by experimental results and comparisons to other existing approaches.
Fichier principal
Vignette du fichier
TCS.pdf (342.27 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00344324 , version 1 (04-12-2008)


  • HAL Id : inria-00344324 , version 1


Hervé Brönnimann, Ioannis Z. Emiris, Victor Y. Y. Pan, Sylvain Pion. Sign Determination in Residue Number Systems. Theoretical Computer Science, 1999, Special issue on Real Numbers and Computers, 210, pp.173-197. ⟨inria-00344324⟩


151 View
203 Download


Gmail Facebook X LinkedIn More