Skip to main content

Solving Geometric Constraints Invariant Modulo the Similarity Group

  • Conference paper
  • First Online:
Computational Science and Its Applications — ICCSA 2003 (ICCSA 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2669))

Included in the following conference series:

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Ait-Aoudia, R. Jegou, and D. Michelucci. Reduction of constraint systems. In Proceedings of the Compugraphics Conference, pages 83–92, 1993.

    Google Scholar 

  2. W. Bouma, I. Fudos, C. Hoffmann, J. Cai, and R. Paige. A geometric constraint solver. Computer-Aided Design, 27(6):487–501, 1995.

    Article  MATH  Google Scholar 

  3. B. Brüderlin. Constructing three-dimensional geometric objects defined by constraints. In Interactive 3D Graphics, pages 111–129, October 1986.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. J.-F. Dufourd, P. Mathis, and P. Schreck. Geometric construction by assembling solved subfigures. Artificial Intelligence Journal, 99(1):73–119, 1998.

    Article  MATH  MathSciNet  Google Scholar 

  6. Cassiano B. Durand. Symbolic and Numerical Techniques for Constraint Solving. PhD thesis, Purdue University, 1998.

    Google Scholar 

  7. 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.

    Article  MATH  MathSciNet  Google Scholar 

  8. I. Fudos and C. M Hoffmann. Correctness proof of a geometric constraint solver. International Journal of Computational Geometry and Applications, page ???, 1994.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. C. Hoffmann, A. Lomonosov, and M. Sitharam. Decomposition plans for feometric constraint problems, part ii: New algorithms. J. Symbolic Computation, 31:409–427, 2001.

    Article  MathSciNet  Google Scholar 

  11. H. Lamure and D. Michelucci. Solving constraints by homotopy. In Proceedings of the ACM-Sigraph Solid Modeling Conference, pages 134–145. ACM Press, 1995.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. P. Schreck. Robustness in cad geometric construction. In Proceedings of the fifth International Conference on Information Visualisation, IV2001 (London), pages 111–116. IEEE, 2001.

    Google Scholar 

  15. G. Sunde. A CAD system with declarative speci.cation of shape. In Proceedings of the IFIP WG 5.2 on Geometric Modeling, Rensselaerville, 1986.

    Google Scholar 

  16. G. Sunde. Specification of shape by dimensions and other geometric constraints. In Proceedings of the Eurographics Workshop on Intelligent CAD systems, Noordwisjkerout, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics