pub fn elevated_derivative_bounds(
curve: &Elevated3,
a: f64,
b: f64,
) -> 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.