Module merge 

Topology that is no longer needed, taken out of a body described as a BodySpec (BodySpec::merged): faces that lie on one surface made one, and vertices between two edges of the same two faces dropped, the edges made one.

A union leaves both solids’ faces where they lay: two blocks standing flush leave two faces in one plane, a seam edge between them that is no edge of the shape. A face that lies on another’s surface is decided on the representation, not by recognising a plane or a cylinder: the other’s patch carried on reaches it, and the two are one polynomial there (geop_core_geometry::nurb_surface::NurbSurface3D::carrying). Two faces of one surface parted because their patches cannot be one — a cylinder’s quarters, which would wrap round — stay apart: their loops would not close in one patch’s (u, v).

Structs

Merged

Where the entities of a BodySpec went in BodySpec::merged’s result, index for index.

Functions

surfaces_compared

How many pairs of faces this thread has asked whether they lie on one surface, ever: what merging costs grows with this, so a test can bound the work of a cut by the faces it touches rather than time it.