euclipy 1.0.1

A Synthetic Euclidean Geometry based library

Euclipy

A library used to create, model, and solve figures in Euclidean Geometry.

Features:

• Create symbolic geometric objects (Triangle(), Segment(), Point(), etc.)

• Implicitly defines objects created by constructions

• Implicitly gathers implicit information created by previous constructions

Installation

# PyPi Installation

pip install euclipy

Sample Code (With Comments):

from euclipy.core import Expression
from euclipy.geometricobjects import Line, Segment
import euclipy.theorems as theorems

  

if  __name__ == '__main__':
    # Construct a line with colinear points: A, B, C, D, E
    line = Line('A B C D E')

    # Define the lengths of line segments lying on line AE
    Segment('A C').measure = 5
    Segment('C E').measure = 12
    Segment('B E').measure = 15
    
    # Apply the relevant theorem which creates expressions about the sums of
    # contiguous subsegments of line segments
    theorems.subsegment_sum_theorem(line)

    # Solve the system of equations resresented by all of the expressions
    # created by theorems
    Expression.solve_system()

    # Verify one of the solutions found
    print(f"Segment('A B').measure = {Segment('A B').measure}") # 2