Crate axiolid_evaluate 

Analytic and spline curve/surface evaluation (ADR 0012, ADR 0036).

This is the scalar evaluation oracle for parametric geometry: native-domain evaluation, derivatives, jets, adaptive flattening, and elementary surface inversion. It is deliberately separate from the axiolid-reference umbrella so a parametric consumer (NURBS, CAD) acquires evaluation without the umbrella’s mesh, spatial, and measure dependencies.

No intrinsics, no threading, no feature gates: it must stay obviously correct in preference to being fast.

axiolid-reference re-exports curve and surface unchanged, so axiolid_reference::curve::* paths are part of this package’s public surface too: renaming or reshaping an item here breaks those callers.

Re-exports

pub use arc_length::elevated_point;

pub use arc_length::elevated_tangent;

pub use arc_length::intrinsic_point;

pub use arc_length::intrinsic_tangent;

pub use arc_parameter::arc_length2;

pub use arc_parameter::arc_length3;

pub use arc_parameter::parameter_at_arc_length2;

pub use arc_parameter::parameter_at_arc_length3;

pub use arc_parameter::ARC_LENGTH_TOLERANCE;

pub use banked::banked_derivative;

pub use banked::banked_point;

pub use banked::banked_section;

pub use banked::banked_tangent;

pub use banked::BankedSection;

pub use chain::chain_point;

pub use chain::chain_tangent;

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 elevation::elevation_chord_bound;

pub use elevation::elevation_grade;

pub use elevation::elevation_height;

pub use frenet::frenet_frame;

pub use frenet::frenet_point;

pub use frenet::frenet_tangent;

pub use intrinsic_relation::join_intrinsic3;

pub use intrinsic_relation::offset_intrinsic3;

pub use intrinsic_relation::trim_intrinsic3;

pub use provider::ReferenceCurveEvaluator;

pub use surface::partials;

pub use surface::Patch;

pub use surface::ScalarSurface;

Modules

arc_length

Arc-length evaluation of intrinsic (natural-equation) curves and of the planar-plus-elevation composition.

arc_parameter

Arc length along any evaluable curve, and its inverse.

banked

Evaluation of banked curves: point, tangent and the rolled section frame.

bound

Certified derivative and chord bounds (#232).

chain

Evaluation of arc-length chains (Chain2).

curve

Scalar reference implementation of curve evaluation (ADR 0012).

elevation

Heights, grades and chord bounds of elevation laws, including the profile given by its own curvature, which has no closed form (#238).

frenet

Frame and position of a space curve given by curvature and torsion.

intrinsic_relation

Relations over Intrinsic3: trimming, offsetting, and joining.

polyline_length

Exact distance-to-parameter conversion for polylines.

provider

The reference curve-evaluation provider.

surface

Scalar reference implementation of surface evaluation (ADR 0012).