HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Sign Determination in Residue Number Systems

Abstract : 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.
Complete list of metadata

Contributor : Sylvain Pion Connect in order to contact the contributor
Submitted on : Thursday, December 4, 2008 - 2:43:36 PM
Last modification on : Friday, February 4, 2022 - 3:19:48 AM
Long-term archiving on: : Monday, June 7, 2010 - 11:44:38 PM


Files produced by the author(s)


  • HAL Id : inria-00344324, version 1



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



Record views


Files downloads