Abstract
This paper proposes a new method for the construction of the topological structure for the output solid of a Boolean set operation on polyhedral solids. The method constructs the face loops of the output solid based on the topological connectivity of the vertices and edge-face intersection points and their clusters represented symbolically by means of face names. In order to prevent accumulation of numerical errors, the degeneracies such as edge-crossing or coincidence between vertices, edges and faces of input solids, which are detected during the process, are transformed into topological constraints on the output solid.