Constraint-based three-dimensional dynamic geometry

Go to file

Glen Whitney c48d685ad6 doc: Extend comments on coordinatization; add a theory.md notes file		2023-11-07 17:06:19 -08:00
coffeetest	Set up testing with Ava	2019-12-11 12:07:43 -05:00
doc	Switch to good old make to reduce redundancies in build	2019-12-12 00:33:59 -05:00
notes	doc: Extend comments on coordinatization; add a theory.md notes file	2023-11-07 17:06:19 -08:00
src	Adjust lighting and camera for decent initial rendering of polyhedra	2019-12-31 07:20:33 -08:00
.gitignore	Copy only the production dependencies to the site directory	2019-12-11 13:20:31 -05:00
LICENSE	Initial commit	2019-09-14 19:00:59 +00:00
Makefile	First pass at coordinate axes	2019-12-12 02:44:33 -05:00
README.md	doc: Add a few implementation goals to README	2023-11-01 13:08:20 -07:00
package-lock.json	Adjust lighting and camera for decent initial rendering of polyhedra	2019-12-31 07:20:33 -08:00
package.json	Switch to good old make to reduce redundancies in build	2019-12-12 00:33:59 -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.

Implementation goals

Comfortable, intuitive UI
Able to run in browser (so implemented in WASM-compatible language)
Produce scalable graphics of 3D diagrams, and maybe STL files (or other fabricatable file format) as well.