Skip to Main content Skip to Navigation
Conference papers

FPG: A code generator for fast and certified geometric predicates

Andreas Meyer 1 Sylvain Pion 1
1 GEOMETRICA - Geometric computing
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : We present a general purpose code analyzer and generator for filtered predicates, which are critical for geometric algorithms. While there already exist such code generators, our contribution is to generate ”almost static filters”, a type of filter which could not be generated previously. The generated and safe filtered predicates are almost as fast as their inexact floating point counterparts, in most cases.
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download
Contributor : Sylvain Pion Connect in order to contact the contributor
Submitted on : Thursday, December 4, 2008 - 1:55:19 PM
Last modification on : Thursday, January 20, 2022 - 5:28:44 PM
Long-term archiving on: : Thursday, October 11, 2012 - 12:32:05 PM


Files produced by the author(s)


  • HAL Id : inria-00344297, version 1



Andreas Meyer, Sylvain Pion. FPG: A code generator for fast and certified geometric predicates. Real Numbers and Computers, Jun 2008, Santiago de Compostela, Spain. pp.47-60. ⟨inria-00344297⟩



Les métriques sont temporairement indisponibles