mission¶
provide tools for modeling classical geometric constructions
goals¶
effortless composition
constructions are easily composed through simple operations
symbolic accuracy
maintain exact symbolic relationships between elements using algebraic expressions
geometric purity
adhere to classical construction rules to ensure logical consistency