On the Use of Conformal Geometric Algebra in Geometric Constraint Solving

Abstract

To model a geometrical part in Computer Aided Design systems, declarative modeling is a well-adapted solution to declare and specify geometric objects and constraints. In this chapter, we are interested in the representation of geometric objects and constraints using a new language of description and representation, Geometric Algebra (GA). GA is used here in association with the conformal model of Euclidean geometry (CGA) which requires two extra dimensions comparing to the usual vector space model. Topologically and Technologically Related Surfaces (TTRS) Theory is introduced here as a unified framework for geometric objects representation and geometric constraints solving. Based on TTRS, this chapter shows the capability of the CGA to represent geometric objects and geometric constraints through symbolic geometric constraints solving and algebraic classification.