Modules

geometor.wildberger is organized into focused symbolic, geometric, and publishing modules:

  • geometor.wildberger — Public package interface exporting metrics, invariants, polynomial families, solvers, symbolic provers, and codex builders.

  • geometor.wildberger.invariants — Exact symbolic quadratic invariants (MetricForm, BLUE_METRIC, RED_METRIC, GREEN_METRIC, LineProportion, ConicProportion, quadrance, spread, cross, twist, archimedes, quadrea, spread_polynomial, cross_polynomial, 3D dihedral spreads, projective cross-ratios, and GF(p) modular geometry).

  • geometor.wildberger.proofs — 17 multivariate SymPy theorem provers establishing the Five Laws, Quadruple Quad/Spread formulas, Euler’s Four-Point relation, Ptolemy’s cyclic spread/quadrance theorem, Euler line & Nine-Point Circle over \(\mathbb{F}\), Chromogeometry’s Nine-Point Midpoint Theorem, Taylor conic tangents & parabolic reflection, and the five rational Platonic solid dihedral spreads.

  • geometor.wildberger.solvers — Exact algebraic triangle solvers (QQQ, QQS, QSS, SQQ, SSS) and classical surveying engines (inaccessible tower quadrance, Regiomontanus’ extremal statue spread, Snellius–Pothenot resection, and Hansen’s two-station problem).

  • geometor.wildberger.catalog — Unified 28-Principle registry (PRINCIPLES, W.01–W.28) and dependency graph helpers, backed by catalog_a and catalog_b.

  • geometor.wildberger.models — Exact geometor.model.Model builders and live SymPy verifiers for all 28 principles, backed by models_a and models_b.

  • geometor.wildberger.render — Interactive Explorer-styled dark-canvas SVG renderer with two-way :g: <-> data-ref hover highlighting.

  • geometor.wildberger.apparatus — Scholarly glossary, historical persons index, and bibliography RST generators.

  • geometor.wildberger.topics — 2-Track Dossier generator compiling docsrc/topics/w-NN/{model.py,w-NN.svg,index.rst,code.rst}.