A generic and flexible framework for the geometrical and topological analysis of (algebraic) surfaces Original Research Article

We present a generic framework on a set of surfaces image in image that provides their geometric and topological analysis in order to support various algorithms and applications in computational geometry. Our implementation follows the generic programming paradigm, that is, to support a certain family of surfaces, we require a small set of types and some basic operations on them, all collected in a model of the newly presented SurfaceTraits_3 concept. The framework obtains geometric and topological information on a non-empty set of surfaces in two steps. First, important 0- and 1-dimensional features are projected onto the xy-plane, obtaining an arrangement image with certain properties. Second, for each of its components, a sample point is lifted back to image while detecting intersections with the given surfaces. For the projection we rely on Cgalʹs Arrangement_2 package as basic tool. Anyhow, the complexity of the output is high, and thus, we particularly regard the framework as key ingredient for querying information on and constructing geometric objects from a small set of surfaces. Examples are meshing of single surfaces, the computation of space-curves defined by two surfaces, to compute lower envelopes of surfaces, or as a basic step to compute an efficient representation of a three-dimensional arrangement.