G.284 prime number prime — Code

VII.29

Any prime number is prime to any number which it does not measure.
A B C
"""Programmatic construction for Book VII, Proposition 29 (VII.29)."""

        from __future__ import annotations

        from geometor.model import Model


        def construct_g1() -> Model:
            """Construct the figure 0336.g1 using geometor.model."""
            model = Model("VII.29")

            # Single-letter horizontal number segments A, B, C
            A_l = model.set_point(16.0, -15.0, classes=["given"], ID="A")
            A_r = model.set_point(113.0, -15.0, ID="A_r")

            B_l = model.set_point(14.0, -39.0, classes=["given"], ID="B")
            B_r = model.set_point(158.0, -39.0, ID="B_r")

            C_l = model.set_point(13.0, -61.0, classes=["given"], ID="C")
            C_r = model.set_point(63.0, -61.0, 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()