We propose to broaden the framework of CSG to a representation of solids as Boolean combinations of polynomical equations and inequalities describing regular closed semialgebraic sets of points in 3-space. As intermediate results of our operations we admit arbitrary semialgebraic sets. This allows to overcome well-known problems with the computation of blendings via offsets. The operations commonly encountered in solid modelers plus offsetting and constant radius blending are reduced to quantifier elimination problems, which can be solved by exact symbolic methods. We discuss the general properties of such offsets and blendings for arbitrary regular closed semialgebraic sets in real n-space. In a collection of computational examples we demonstrate the capabilities of the REDLOG package for the discussed operations on solids within our framework.Key words: Offsetting solids. Blending solids. Representation of solids.
Erika Cetindag, Martin Griebl