Crate axiolid_reference 

Portable scalar reference implementation: the correctness oracle (ADR 0012).

No intrinsics, no threading, no feature gates. Every optimized backend is validated by differential test against this crate, so it must stay readable and obviously correct in preference to being fast.

Re-exports

pub use boolean::ScalarBoolean;

pub use convex_hull::minimum_area_rectangle;

pub use convex_hull::strict_convex_hull;

pub use convex_hull::OrientedRectangle2;

pub use curve::derivative2;

pub use curve::derivative3;

pub use curve::evaluate2;

pub use curve::evaluate3;

pub use curve::flatten2;

pub use curve::ScalarCurve;

pub use expansion::two_diff;

pub use expansion::two_product;

pub use expansion::two_sum;

pub use orient3::orient3d;

pub use orient3::orient3d_filter;

pub use orientation::orient2d;

pub use orientation::orient2d_filter;

pub use polygon::ring_orientation;

pub use polygon::signed_area2;

pub use polygon::triangulate_simple;

pub use section::ScalarSection;

pub use segment_triangle::segment_triangle_relation;

pub use segment_triangle::SegmentTriangleRelation;

pub use sphere::incircle;

pub use sphere::incircle_filter;

pub use sphere::insphere;

pub use sphere::insphere_filter;

pub use static_filter::StaticFilter;

pub use surface::partials;

pub use surface::Patch;

pub use surface::ScalarSurface;

pub use triangle_triangle::triangle_triangle_relation;

pub use triangle_triangle::TriangleTriangleRelation;

Modules

arithmetic

Arbitrary-length expansion arithmetic.

boolean

Scalar reference implementation of solid booleans (ADR 0012, ADR 0017 §5).

clash

Mesh interference: the narrow phase (#4).

convex_hull

Deterministic 2D convex hulls and oriented bounding rectangles.

curve

Scalar reference implementation of curve evaluation (ADR 0012).

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.

polygon

Simple-polygon triangulation by ear clipping, with hole support.

primitive

Tessellation of CSG primitives into closed solids.

scene

Degeneracy-controlled scene generation for benchmarking and testing.

section

Portable scalar plane section of a closed oriented triangle mesh.

segment_triangle

Certified segment/triangle topology classification.

sphere

incircle and insphere: is a point inside a circumscribed ball?

static_filter

Static filters: bounds computed once from a coordinate range.

surface

Scalar reference implementation of surface evaluation (ADR 0012).

tessellate

Scalar reference tessellation of surfaces (ADR 0012).

triangle_triangle

Certified triangle/triangle topology classification.