Robust Boolean Set Operation by Symbol Processing of Topology

Abstract

This paper describes a robust method for the Boolean set operations for solid models. The method always produces a consistent solid model regardless of numericla errors, by employing symbol processing algorithms which satisfy its topological constraints. The degeneracies of the solids are obtained according to the ambiguity caused by the given tolefances and numerical errors, which decide the resolution of calculation for the set operation.