geometor-model 0.4.5

A symbolic engine for defining and verifying geometric constructions.

A symbolic engine for defining and verifying geometric constructions.

Overview

geometor.model is the foundational library for the GEOMETOR initiative. It establishes a rigorous system for defining classical geometric constructions using symbolic algebra.

In this system: - Points are information. - Lines and Circles are operations.

We leverage the power of SymPy to define elements as exact algebraic expressions rather than floating-point approximations.

Key Features

• Symbolic Precision: All elements are defined using symbolic algebra.

• Intersection Discovery: Automatically finds intersection points as new lines and circles are added.

• Ancestral Tracking: Maintains the history and dependencies of every element.

• Serialization: Save and load models to JSON for analysis and visualization.

Usage

Create a model, add points, and perform constructions:

# Run the model script
model

Or use it as a library:

from geometor.model import *

# Initialize model
model = Model("vesica")

# Set given points
A = model.set_point(0, 0, classes=["given"])
B = model.set_point(1, 0, classes=["given"])

# Construct lines and circles
model.construct_line(A, B)
model.construct_circle(A, B)
model.construct_circle(B, A)

# Analyze
report_summary(model)

Resources

• Documentation: https://geometor.github.io/model

• Source Code: https://github.com/geometor/model

• Issues: https://github.com/geometor/model/issues

Related Projects

• GEOMETOR Explorer: Interactive visualization.

• GEOMETOR Divine: Golden ratio analysis.