Module pcurve_gap 

How far an edge’s pcurves stand off its curve, and edges’ tolerances raised to cover it.

An edge’s tolerance is the radius about its curve within which every description of the edge lies, each pcurve lifted through its surface included. A producer that fits or projects a pcurve knows its error only where it sampled; these measure it densely, after the fact.

Functions

edge_pcurve_gap

The widest gap between edge’s curve and any of its pcurves at the edge’s own placement, measured by pcurve_gap against the edge’s stated tolerance; None for an edge with no curve.

edges_apart

How far apart two edges’ curves stand: the farthest that any of many samples along either curve’s stretch lies from the nearest point of the other’s, each curve placed as its occurrence is. None where either edge has no curve.

pcurve_gap

How far a pcurve, lifted through its surface, stands off an edge’s curve: at each of many samples along both ranges alike, the distance between the two points, or where that exceeds stated, the distance from the lifted point to the nearest point of the curve’s stretch, and the widest peaks between samples searched for their tops, so a stretch of the edge sampled anywhere stays within the answer. Within stated, the answer is only known to be within it.

state_pcurve_gaps

state_pcurve_gaps_of over every edge of shape.

state_pcurve_gaps_of

Raise each of edges’ tolerance, and its vertices’, to how far its pcurves stand off its curve, where that is wider than it states.