geometor.byrne.constructions

Exact symbolic geometor.model constructions for 17 Oliver Byrne (1847) showcase plates.

Every construction executes with geometor.model.Model (auto_intersect=False, zero float or sp.Float coordinates) over exact SymPy algebraic fields:

  • $\mathbb{Q}$: I.4, I.5, I.15, I.32, I.46, I.47, II.4, II.5, III.20, III.31, III.36, IV.4

  • $\mathbb{Q}(\sqrt{3})$: I.1

  • $\mathbb{Q}(\phi)$ where $\phi = \frac{1 + \sqrt{5}}{2}$: II.11, VI.30

  • $\mathbb{Q}(\phi, \sqrt{10 - 2\sqrt{5}})$: IV.10, IV.11

Each ByrnePlate pairs the populated symbolic Model and verified algebraic proof identities with authentic 1847 Chiswick Press four-color visual layers calibrated against the William Pickering scan (Internet Archive firstsixbooksofe00eucl).

Attributes

PHI

PLATE_REGISTRY

Classes

StyledSegment

Byrne-styled straight segment joining two exact sympy.geometry.Point objects.

StyledCircle

Byrne-styled full circle from an exact sympy.geometry.Circle.

StyledArc

Byrne-styled circular arc centered at center through start to end CCW.

StyledPolygon

Byrne-styled planar region (filled, half-filled, tinted, or outlined).

StyledAngleWedge

Byrne-styled woodblock angle sector at vertex from ray arm1 to arm2.

ByrnePlate

Complete symbolic model, verified invariants, and 1847 visual layers for one plate.

Functions

list_plate_ids() → list[str]

Return ordered list of all 17 showcase Byrne proposition IDs.

build_plate(prop_id) → ByrnePlate

Construct and verify a single ByrnePlate by proposition ID.

build_all_plates() → list[ByrnePlate]

Construct and verify all 17 showcase ByrnePlate models.

Module Contents

geometor.byrne.constructions.PHI: sympy.Expr
class geometor.byrne.constructions.StyledSegment

Byrne-styled straight segment joining two exact sympy.geometry.Point objects.

p1: sympy.geometry.Point
p2: sympy.geometry.Point
color: str
stroke: str = 'solid'
weight: str = 'normal'
ref: str = ''
aliases: tuple[str, ...] = ()
class geometor.byrne.constructions.StyledCircle

Byrne-styled full circle from an exact sympy.geometry.Circle.

circle: sympy.geometry.Circle
color: str
stroke: str = 'solid'
ref: str = ''
aliases: tuple[str, ...] = ()
class geometor.byrne.constructions.StyledArc

Byrne-styled circular arc centered at center through start to end CCW.

center: sympy.geometry.Point
start: sympy.geometry.Point
end: sympy.geometry.Point
color: str
stroke: str = 'solid'
ref: str = ''
class geometor.byrne.constructions.StyledPolygon

Byrne-styled planar region (filled, half-filled, tinted, or outlined).

vertices: tuple[sympy.geometry.Point, ...]
color: str
mode: str = 'filled'
stroke_color: str = ''
ref: str = ''
aliases: tuple[str, ...] = ()
class geometor.byrne.constructions.StyledAngleWedge

Byrne-styled woodblock angle sector at vertex from ray arm1 to arm2.

arm1: sympy.geometry.Point
vertex: sympy.geometry.Point
arm2: sympy.geometry.Point
color: str
radius_px: float = 26.0
ref: str = ''
class geometor.byrne.constructions.ByrnePlate

Complete symbolic model, verified invariants, and 1847 visual layers for one plate.

prop_id: str
slug: str
heath_id: str
g_id: str
book: int
title: str
pickering_page: str
number_field: str
model: geometor.model.Model
polygons: list[StyledPolygon] = []
wedges: list[StyledAngleWedge] = []
circles: list[StyledCircle] = []
arcs: list[StyledArc] = []
segments: list[StyledSegment] = []
proof_checks: dict[str, bool]
canvas_size: tuple[int, int] = (640, 460)
show_labels: bool = False
geometor.byrne.constructions.PLATE_REGISTRY: dict[str, collections.abc.Callable[[], ByrnePlate]]
geometor.byrne.constructions.list_plate_ids() → list[str]

Return ordered list of all 17 showcase Byrne proposition IDs.

geometor.byrne.constructions.build_plate(prop_id: str) → ByrnePlate

Construct and verify a single ByrnePlate by proposition ID.

geometor.byrne.constructions.build_all_plates() → list[ByrnePlate]

Construct and verify all 17 showcase ByrnePlate models.