Purdue e-Pubs
Computer Science Technical Reports Department of Computer Science
1993
A Geometric Constraint Solver
William Bouma Ioannis Fudos Christoph M. Hoffmann
Purdue University, cmh@cs.purdue.edu
Jiazhen Cai Robert Paige
Report Number:
93-054
Bouma, William; Fudos, Ioannis; Hoffmann, Christoph M.; Cai, Jiazhen; and Paige, Robert, "A Geometric Constraint Solver" (1993). Computer Science Technical Reports. Paper 1068. http://docs.lib.purdue.edu/cstech/1068
This document has been made available through Purdue e-Pubs, a service of the Purdue University Libraries. Please contact epubs@purdue.edu for additional information.
A GEOMETRIC CONSTRAINT SOLVER
William Bouma
Ioannnis Fudos
Christoph Hoffmann Jillzhen Cai Robert Paige
eSD·TR·93·054
August 1993
A Geometric Constraint Solver
William BoumaIoannis Fuclos t Christollh Hoffmann· Department of Computer Science, Purdue University West Lafayette, IN 47907-1398
Jiazllen Cai1 Robert Paige} Department of Computer Science, Courant Institute 251 Mercer Str., New York, NY 10012
Report CSD_ 'rlt_n.05t, Aug .. ' 19931
Abstract
We report on the development of a two-dimensional geometric COllstraint solver. The solver is a major component of a lIew generation of CAD systems that we are developing based on a high-level geometry representation. The solver uses a graph-reduction directed algebraic approach, and achieves interactive speed. We describe the architecture of the solver and its basic capabilities. Theil) we discuss ill detail holV to extend the scope of the solver, with special emphasis placed all the theoretical alld human fadors involved in finding a solution - in an eXJlonenlially large search space - so that the solution is appropriate to the application and the way offincling it is intuitive to an untrained user.
·Supported in part by ONR contract N00014-90-J-1599, by NSF ' Granl COA 92-2. '3.502, and by NSF Grant ECD 88-03017.
References: [9] B. Buchberger, G. Collins, and B. Kutzler. Algebraic methods [or geometric reasoning. Annual Retliews in Computel ' Science, 3:85-120, 1988.