Solving Geometric Constraints Invariant Modulo the Similarity Group

In the area of Computer Aided Design (CAD), the geometric constraint systems considered are invariant under the direct isometry group. We show that the invariance under the direct similarity group also leads to interesting problems even in the CAD domain. This paper describes a method to solve such problems in the case of angle constraints involving three points. This method relies on extensions of euclidean notions described in earlier work and can be used in combination with other solvers.

[1]  Caroline Essert,et al.  Sketch-based pruning of a solution space within a formal geometric constraint solver , 2000, Artif. Intell..

[2]  Pascal Schreck,et al.  Geometric Construction by Assembling Solved Subfigures , 1998, Artif. Intell..

[3]  Xiao-Shan Gao,et al.  Solving spatial basic geometric constraint configurations with locus intersection , 2002, SMA '02.

[4]  Pascal Schreck.  Robustness in CAD geometric constructions , 2001, Proceedings Fifth International Conference on Information Visualisation.

[5]  Pascal Schreck,et al.  A Case Study in Geometric Constructions , 2002, International Conference on Computational Science.

[6]  Beat D. Brüderlin,et al.  Constructing three-dimensional geometric objects defined by constraints , 1987, I3D '86.

[7]  C. Hoffmann,et al.  Symbolic and numerical techniques for constraint solving , 1998 .

[8]  Christoph M. Hoffmann,et al.  Decomposition Plans for Geometric Constraint Problems, Part II: New Algorithms , 2001, J. Symb. Comput..

[9]  Pascal Schreck,et al.  Formal resolution of geometrical constraint systems by assembling , 1997, SMA '97.

[10]  Christoph M. Hoffmann,et al.  Geometric constraint solver , 1995, Comput. Aided Des..

[11]  Christoph M. Hoffmann,et al.  Correctness proof of a geometric constraint solver , 1996, Int. J. Comput. Geom. Appl..

[12]  G. Sunde,et al.  A CAD System with Declarative Specification of Shape , 1987 .

[13]  J. C. Owen,et al.  Algebraic solution for geometry from dimensional constraints , 1991, SMA '91.

[14]  Dominique Michelucci,et al.  Solving geometric constraints by homotopy , 1995, IEEE Trans. Vis. Comput. Graph..