Abstract:This article introduces a general mesh intersection algorithm that exactly computes the so-called Weiler model and that uses it to implement boolean operations with arbitrary multi-operand expressions, CSG (constructive solid geometry) and some mesh repair operations. From an input polygon soup, the algorithm first computes the co-refinement, with an exact representation of the intersection points. Then, the decomposition of 3D space into volumetric regions (Weiler model) is constructed, by sorting the facets around the non-manifold intersection edges (radial sort), using specialized exact predicates. Finally, based on the input boolean expression, the triangular facets that belong to the boundary of the result are classified. This is, to our knowledge, the first algorithm that computes an exact Weiler model. To implement all the involved predicates and constructions, two geometric kernels are proposed, tested and discussed (arithmetic expansions and multi-precision floating-point). As a guiding principle,the combinatorial information shared between each step is kept as simple as possible. It is made possible by treating all the particular cases in the kernel. In particular, triangles with intersections are remeshed using the (uniquely defined) Constrained Delaunay Triangulation, with symbolic perturbations to disambiguate configurations with co-cyclic points. It makes it easy to discard the duplicated triangles that appear when remeshing overlapping facets. The method is tested and compared with previous work, on the existing "thingi10K" dataset (to test co-refinement and mesh repair) and on a new "thingiCSG" dataset made publicly available (to test the full CSG pipeline) on a variety of interesting examples featuring different types of "pathologies"

Optimal polynomial meshes and Caratheodory-Tchakaloff submeshes on the sphere

A New Proof of Some Polynomial Inequalities Related to Pseudo-Splines

Equidistant Smoothing of Polyhedra with Arbitrary Topologies

Chebyshev admissible meshes and Lebesgue constants of complex polynomial projections

Sharp pinching theorems for complete submanifolds in the sphere

Optimal Finite Homogeneous Sphere Approximation

Polynomial spline spaces of non-uniform bi-degree on T-meshes: combinatorial bounds on the dimension

Fast Conformal Parameterization of Disks and Sphere Sectors

Counting the dimension of splines of mixed smoothness: A general recipe, and its application to meshes of arbitrary topologies

Certain smooth real surfaces in $\mathbb{C}^2$ with singularity

Exact predicates, exact constructions and combinatorics for mesh CSG

Median Sets of Isometries in CAT(0) Cube Complexes and Some Applications

$C^1$-smooth isogeometric spline functions of general degree over planar mixed meshes: The case of two quadratic mesh elements

Polyhedral approximation and uniformization for non-length surfaces

An Optimal Rigidity Theorem for Complete Submanifolds in a Sphere

On the enumeration of subcells within hypercubes and its application to the Borsuk-Ulam theorem

Stabbing simplices by points and flats

On Spheres with $k$ Points Inside

Decomposing Diffeomorphisms of the Sphere

Computing weak distance between the 2-sphere and its nonsmooth approximations

Optimization Algorithms for Faster Computational Geometry.