One Sided Error Predicates in Geometric Computing

A conservative implementation of a predicate returns true only if the exact predicate is true. That is, we accept a one sided error for the implementation. For geometric predicates, such as orientation- or incircle-tests, this allows efficient floating point implementations of the predicates with rare occurrences of the one sided error. We discuss the use of such conservative implementations for convex hull and triangulation algorithms for point sets in the plane. The resulting programs show a minor slowdown compared to an implementation that completely ignores the finite precision issue. However, our programs always produce output that satisfies basic desirable properties. The output can be easily checked for correctness and

• Type: Conference
• Year: 1998
• Where: IFIP
• Authors: Lutz Kettner, Emo Welzl
• Keywords: Conservative Implementations, Floating Point Implementations, IFIP 1998, Programming Languages, Sided Error