Implement triangle-triangle intersection and cell labeling using exact geometric predicates, producing a topologically correct result mesh from two input meshes. This replaces the Sutherland-Hodgman ...