Dynamic geometry based on geometric constraints

Dynamic geometry systems are tools for geometric visualization. They allow the user to define geometric elements, establish relationships between them and explore the dynamic behavior of the remaining geometric elements when one of them is moved. The main problem in dynamic geometry systems is the a...

Full description

Bibliographic Details
Authors: Freixas Boleda, Marc; Joan Arinyo, Robert|||0000-0002-1896-2940; Soto Riera, Antoni|||0000-0002-6136-1964; Vila Marta, Sebastià|||0000-0001-9069-1340
Format: Report
Publication date:2007
Country:España
Institution:Universitat Politècnica de Catalunya (UPC)
Repository:UPCommons. Portal del coneixement obert de la UPC
Language:English
OAI Identifier:oai:upcommons.upc.edu:2117/87511
Online Access:https://hdl.handle.net/2117/87511
Access Level:Open access
Keyword:Dynamic geometry
Geometric constraint solving
Àrees temàtiques de la UPC::Informàtica::Infografia
Description
Summary:Dynamic geometry systems are tools for geometric visualization. They allow the user to define geometric elements, establish relationships between them and explore the dynamic behavior of the remaining geometric elements when one of them is moved. The main problem in dynamic geometry systems is the ambiguity that arises from operations which lead to more than one possible solution. While the user is defining the geometric construction, he is responsible to resolve these ambiguities. However, when the user is dragging a geometric element, the system is responsible to choose the intended solution, that is, the same solution that the user would select if we could ask him again. Most dynamic geometry systems deal with this problem in such a way that the solution selection method leads to a fixed dynamic behavior of the system. This is specially annoying when this behavior is not the one the user intended. In this work we propose an architecture for dynamic geometry systems built upon a set of functional units which will allow to apply some well known results from the Geometric Constraint Solving field. A functional unit called emph{filter} will provide the user with tools to unambiguously capture the expected dynamic behavior of a given geometric problem.