FPG: A code generator for fast and certified geometric predicates

Andreas Meyer (1) , Sylvain Pion (1)

1 GEOMETRICA - Geometric computing

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.

Domaines: Géométrie algorithmique [cs.CG]; Arithmétique des ordinateurs

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⟩