axiolid-predicates
Certified exact-arithmetic geometric predicates.
| Latest release | 0.3.2 (2026-09-28) |
| crates.io | axiolid-predicates |
| Facade | axiolid feature predicates |
| Layer | algorithms (algorithm.reference) |
| API documentation | rustdoc · docs.rs |
| Source | crates/algorithms/predicates/ |
Overview
Certified geometric predicates: orient2d, orient3d, incircle and insphere, built on error-free transformations and expansion arithmetic, with static filters for callers that can bound their coordinates. Every public predicate is a filtered cascade that escalates to exact arithmetic instead of comparing against an epsilon, and returns a Certified sign. The crate is deliberately narrow: no curve, surface, mesh, B-rep, provider or big-integer dependency. axiolid-reference re-exports it unchanged (ADR 0036); for signs of constructed values, see axiolid-exact.
Depends on
Changes
Latest release, 0.3.2 (2026-09-28):
Changed
- The crates.io page is this crate's own
README.md, with links to its API documentation, its reference page and the source (ADR 0078).
Full history: crates/algorithms/predicates/CHANGELOG.md