Skip to main content

elevated_derivative_bounds

axiolid_evaluate::elevated

Function elevated_derivative_bounds 

Source 
pub fn elevated_derivative_bounds(
    curve: &Elevated3,
    a: Scalar,
    b: Scalar,
) -> Option<CurveDerivativeBounds>
Expand description

Certified suprema of |c'|, |c''|, |c'''| of an elevated curve in plan distance over [a, b]: sqrt(P_j^2 + Z_j^2) (module documentation). None where the curve may not be C^2 strictly inside the span, or where either half is not bounded.