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

ver descrição completa

Detalhes bibliográficos
Autores: Freixas Boleda, Marc; Joan Arinyo, Robert|||0000-0002-1896-2940; Soto Riera, Antoni|||0000-0002-6136-1964; Vila Marta, Sebastià|||0000-0001-9069-1340
Tipo de documento: Relatório
Data de publicação:2007
País:España
Recursos:Universitat Politècnica de Catalunya (UPC)
Repositório:UPCommons. Portal del coneixement obert de la UPC
Idioma:Inglês
OAI Identifier:oai:upcommons.upc.edu:2117/87511
Acesso em linha:https://hdl.handle.net/2117/87511
Nível de acesso:Acesso aberto
Palavra-chave:Dynamic geometry
Geometric constraint solving
Àrees temàtiques de la UPC::Informàtica::Infografia
Descrição
Resumo: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.