G.346 numbers prime number — Code¶
If two numbers be prime to one another, the second will not be to any other number as the first is to the second.
"""Programmatic construction for Book IX, Proposition 16 (IX.16)."""
from __future__ import annotations
from geometor.model import Model
def construct_g1() -> Model:
"""Construct the figure 0412.g1 using geometor.model."""
model = Model("IX.16")
# Single-letter horizontal number segments A, B, C
A_l = model.set_point(32.0, -23.5, classes=["given"], ID="A")
A_r = model.set_point(81.0, -23.5, ID="A_r")
B_l = model.set_point(32.0, -45.5, classes=["given"], ID="B")
B_r = model.set_point(86.0, -45.5, ID="B_r")
C_l = model.set_point(33.0, -68.5, classes=["given"], ID="C")
C_r = model.set_point(111.0, -68.5, ID="C_r")
# Number segments
model.set_segment(A_l, A_r)
model.set_segment(B_l, B_r)
model.set_segment(C_l, C_r)
return model
if __name__ == "__main__":
construct_g1()