pub fn chord_bound2(curve: &Curve2, a: Scalar, b: Scalar) -> Option<Scalar>Expand description
Certified chord bound of a 2D curve over [a, b].
An upper bound on the distance from any point of the curve between a
and b to the chord joining the evaluated ends (what
crate::curve::evaluate2 returns at a and at b, not the exact
ones, which differ by the evaluator’s own error: the bound carries it
for the families whose evaluation is an estimate, a lifted pcurve’s
solve, an intrinsic curve’s quadrature and an arc-length chain’s pieces,
#438). None when the family
has no derivative bound here, or when the curve may not be C^1
strictly inside the interval (a polyline vertex, a B-spline knot of full
multiplicity): split there first (continuity_breaks2).