geometor-model 0.5.0

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.

CLI Usage

The geometor-model package includes a command-line interface (CLI) for building and experimenting with geometric models interactively or via scripts.

To start the CLI REPL:

$ python -m geometor.model

Features: * Interactive REPL with rich output. * Concise syntax for creating Points, Lines, Circles, Polygons, and more. * Support for auto-labeling points. * Pipe scripts for batch processing.

For detailed usage instructions, see the CLI Usage section in the documentation.

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

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
model.report_summary()

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.

• GEOMETOR.com <https://geometor.com: the center of everything