Module trimmed_intersection

Topology-aware integration of certified affine surface intersections.

The supported arrangement splits one rectangular patch whose certified trace is a boundary-to-boundary chord. The same edge is retained as an explicit embedded pcurve on the other patch when both endpoints are strictly interior there. This avoids pretending that an interior segment partitions a disk.

Structs

CertifiedDualTrimmedSurfacePair3

Validated arrangement for a chord that partitions BOTH patches.

CertifiedSurfacePairSplitOptions

Explicit resource and residual policy for certified topology integration.

CertifiedTrimmedSurfacePair3

Validated analytic B-rep arrangement for one certified finite trace.

EmbeddedFaceCurve

A certified edge embedded in a face without pretending it is a closed trim.

Enums

CertifiedSurfacePairSplit3

Certified topology-integration outcome.

SurfacePairMember

Which input surface is partitioned by the certified chord.

SurfacePairSplitUnresolvedReason

Why valid geometry could not be promoted to a closed trimmed arrangement.

Functions

split_surface_pair_certified

Intersect two supported affine patches and construct a topology-aware trimmed arrangement.