robust-predicate | Robust geometric predicates without the agonising pain

robust-predicate is a C++ library. robust-predicate has no bugs, it has no vulnerabilities and it has low support. However robust-predicate has a Non-SPDX License. You can download it from GitHub.

Evaluating "geometric predicates" (orientation, incircle, etc) using standard floating-point arithmetic is a well-known nightmare, with floating-point round-off errors leading to ambiguities, non-convergence, and program crashes. A standard remedy is to employ "exact" computation via multi-precision techniques; eliminating floating-point round-off errors through operations on arbitrary bit-length number types. This package is a C++ framework for the construction of such predicates; encapsulating Jonathan Shewchuk's seminal arbitrary precision library without the agonising pain of the original hand-rolled C89 code. This package aims to implement a "zero-overhead" abstraction; leveraging various C++ template- and compile-time patterns to avoid run-time stack/heap manipulation or pointer indirection. Timing analysis suggests the new templated C++ predicates perform favourably compared to the original hand-rolled C89 implementation.