Module predicates
Source - arithmetic
- Arbitrary-length expansion arithmetic.
- expansion
- Error-free transformations: the arithmetic exact predicates are built from.
- orient3
orient3d: which side of a plane a point lies on.- orientation
- Certified orientation predicates.
- scene
- Degeneracy-controlled scene generation for benchmarking and testing.
- sphere
incircle and insphere: is a point inside a circumscribed ball?- static_filter
- Static filters: bounds computed once from a coordinate range.
- StaticFilter
- Precomputed error bounds for a declared coordinate range.
- incircle
- Is
d inside the circle through a, b, c? - incircle_filter
- The fast filter alone, exposed so escalation can be measured.
- insphere
- Is
e inside the sphere through a, b, c, d? - insphere_filter
- The fast filter alone, exposed so escalation can be measured.
- orient2d
- Orientation of
c relative to the directed line a -> b. - orient2d_filter
- The fast filter alone, exposed so the escalation can be observed and tested.
- orient3d
- Orientation of
d relative to the plane through a, b, c. - orient3d_filter
- The fast filter alone, exposed so escalation can be measured.
- two_diff
- Difference of
a and b, plus the exact rounding error. - two_product
- Product of
a and b, plus the exact rounding error. - two_sum
- Sum of
a and b, plus the exact rounding error.