Constraint-based three-dimensional dynamic geometry
Go to file
Glen Whitney 5fef463aba 0.1.0 2019-12-11 12:43:50 -05:00
coffeetest Set up testing with Ava 2019-12-11 12:07:43 -05:00
doc Generate documentation by assembling markdown and litcoffee files 2019-12-09 20:52:42 -05:00
src Set up testing with Ava 2019-12-11 12:07:43 -05:00
.gitignore Set up testing with Ava 2019-12-11 12:07:43 -05:00
LICENSE Initial commit 2019-09-14 19:00:59 +00:00
README.md 0.1.0 2019-12-11 12:43:50 -05:00
package-lock.json Set up testing with Ava 2019-12-11 12:07:43 -05:00
package.json Set up testing with Ava 2019-12-11 12:07:43 -05:00

README.md

dyna3

Abstract

Constraint-based three-dimensional dynamic geometry

Description

From a thorough web search, there does not seem to be a dynamic geometry software package which (a) began its life handling three dimensions, rather than just two, and (b) allows you to express the desired geometric configuration in terms of constraints on the entities (e.g. l and k are parallel, a, b, and c a collinear, etc.) rather than as a construction (e.g. l is the perpendicular bisector of a and b). The goal of the dyna3 project is to close this gap.

Note that currently this is just the barest beginnings of the project, more of a framework for developing dyna3 rather than anything useful.