pub fn section_curve_surface_intersection(
curve: &Curve3,
span: Interval,
surface: &Surface,
) -> Result<ExactCurveIntersection, ExactCurveRefusal>Expand description
Where a section-family curve meets a surface, with parameters on the curve itself.
The curve is read as an implicit curve on its carrier (over span, or
its whole traced extent for an ImplicitSection3); the surface’s
equation on that carrier is a second field, and its roots along each
cell are isolated with interval bounds over boxes certain to hold the
curve. A root where the second field changes sign is a crossing; one
where it only touches zero is reported with multiplicity 2; a curve on
which the second field vanishes identically is Contained.
§Errors
UnsupportedCurve for a curve that is not a section family or whose
trace was refused, UnsupportedSurface for a B-spline surface.