Abstract
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.
To whom correspondence should be addressed
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Ait-Aoudia, R. Jegou, and D. Michelucci. Reduction of constraint systems. In Proceedings of the Compugraphics Conference, pages 83–92, 1993.
W. Bouma, I. Fudos, C. Hoffmann, J. Cai, and R. Paige. A geometric constraint solver. Computer-Aided Design, 27(6):487–501, 1995.
B. Brüderlin. Constructing three-dimensional geometric objects defined by constraints. In Interactive 3D Graphics, pages 111–129, October 1986.
J.-F. Dufourd, P. Mathis, and P. Schreck. Formal resolution of geometrical constraint systems by assembling. Proceedings of the 4th ACM Solid Modeling conf., pages 271–284, 1997.
J.-F. Dufourd, P. Mathis, and P. Schreck. Geometric construction by assembling solved subfigures. Artificial Intelligence Journal, 99(1):73–119, 1998.
Cassiano B. Durand. Symbolic and Numerical Techniques for Constraint Solving. PhD thesis, Purdue University, 1998.
C. Essert-Villard, P. Schreck, and F. Dufourd, J. Sketch-based pruning of a solution space within a formal geometric constraint solver. Artificial Intelligence, 124:139–159, 2000.
I. Fudos and C. M Hoffmann. Correctness proof of a geometric constraint solver. International Journal of Computational Geometry and Applications, page ???, 1994.
X.-S. Gao, C. M. Hoffmann, and W.-Q. Yang. Solving spatial basic geometric constraint configurations with locus intersection. In Proceedings of the ACM Solid Modeling Conference (Saarbrucken), pages 95–104, 2002.
C. Hoffmann, A. Lomonosov, and M. Sitharam. Decomposition plans for feometric constraint problems, part ii: New algorithms. J. Symbolic Computation, 31:409–427, 2001.
H. Lamure and D. Michelucci. Solving constraints by homotopy. In Proceedings of the ACM-Sigraph Solid Modeling Conference, pages 134–145. ACM Press, 1995.
J. Owen. Algebraic solution for geometry from dimensional constraints. In Proceedings of the 1th ACM Symposium of Solid Modeling and CAD/CAM Applications, pages 397–407. ACM Press, 1991.
E. Schramm and P. Schreck. A case study in geometric constructions. In Proceedings of the 2002 International Conference on Computational Science (Amsterdam), Part II, pages 200–209. LNCS 2329, Springer, 2002.
P. Schreck. Robustness in cad geometric construction. In Proceedings of the fifth International Conference on Information Visualisation, IV2001 (London), pages 111–116. IEEE, 2001.
G. Sunde. A CAD system with declarative speci.cation of shape. In Proceedings of the IFIP WG 5.2 on Geometric Modeling, Rensselaerville, 1986.
G. Sunde. Specification of shape by dimensions and other geometric constraints. In Proceedings of the Eurographics Workshop on Intelligent CAD systems, Noordwisjkerout, 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schramm, É., Schreck, P. (2003). Solving Geometric Constraints Invariant Modulo the Similarity Group. In: Kumar, V., Gavrilova, M.L., Tan, C.J.K., L’Ecuyer, P. (eds) Computational Science and Its Applications — ICCSA 2003. ICCSA 2003. Lecture Notes in Computer Science, vol 2669. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44842-X_37
Download citation
DOI: https://doi.org/10.1007/3-540-44842-X_37
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40156-8
Online ISBN: 978-3-540-44842-6
eBook Packages: Springer Book Archive