pub fn intrinsic_chord_bound2(
curve: &Intrinsic2,
a: Scalar,
b: Scalar,
) -> Option<Scalar>Expand description
Certified chord bound of a 2D intrinsic curve over [a, b]:
h^2 / 8 sigma sup |k|, across seams of its law too. None outside
[0, length] or for a law with no closed-form bound.