G.379 magnitudes ratio number — Code

X.8

If two magnitudes have not to one another the ratio which a number has to a number, the magnitudes is incommensurable.
A B 
"""Programmatic construction for Book X, Proposition 8 (X.8)."""

        from __future__ import annotations

        from geometor.model import Model


        def construct_g1() -> Model:
            """Construct the figure 0032.g2 using geometor.model."""
            model = Model("X.8")

            # Single-letter magnitude segment A
            A_l = model.set_point(25.0, -16.5, classes=["given"], ID="A")
            A_r = model.set_point(97.0, -16.5, ID="A_r")

            # Single-letter magnitude segment B
            B_l = model.set_point(33.0, -37.5, classes=["given"], ID="B")
            B_r = model.set_point(89.0, -37.5, ID="B_r")

            # Base lines
            model.construct_line(A_l, A_r)
            model.construct_line(B_l, B_r)

            # Magnitude segments
            model.set_segment(A_l, A_r)
            model.set_segment(B_l, B_r)

            return model


        if __name__ == "__main__":
            construct_g1()