"""
constructs the classic 'vesica pisces'
"""
from geometor.model import *
def run():
model = Model("vesica")
A = model.set_point(0, 0, classes=["given"])
B = model.set_point(1, 0, classes=["given"])
model.construct_line(A, B)
model.construct_circle(A, B)
model.construct_circle(B, A)
E = model.get_element_by_label("E")
F = model.get_element_by_label("F")
model.set_polygon([A, B, E])
model.set_polygon([A, B, F])
model.construct_line(E, F)
report_summary(model)
report_group_by_type(model)
report_sequence(model)
model.save("vesica.json")
if __name__ == "__main__":
run()