📝 Python code ? Help / API reference

# All features are pre-loaded — you can use Figure, FigurePoint, FigureTriangle etc.
# directly.  Call Figure.calculate_all() to propagate constraints.
# The drawing is generated automatically after your code runs.

Figure.clear_all()
Figure.set_geometry(GEOMETRY_TYPE_EUCLIDEAN, dimension=2)
A = FigurePoint.create();  FigurePoint.setup_instance(A, name='A')
B = FigurePoint.create();  FigurePoint.setup_instance(B, name='B')
C = FigurePoint.create();  FigurePoint.setup_instance(C, name='C')

tri = FigureTriangle.create()
FigureTriangle.setup_instance(tri, name='ABC', points=[A, B, C])

sides  = Figure.get_param(tri, 'sides')
angles = Figure.get_param(tri, 'angles')

Figure.set_param(angles[1], 'size', 90)    # right angle at B
Figure.set_param(sides[0],  'length', 3)   # AB = 3
Figure.set_param(sides[2],  'length', 4)   # BC = 4

Figure.set_param(A, 'coordinates', {0: 0.0, 1: 0.0})
Figure.set_param(B, 'coordinates', {0: 3.0, 1: 0.0})
Figure.set_param(C, 'coordinates', {0: 3.0, 1: None})

Figure.calculate_all()
Figure.display_theorem_trace()

🖼 Geometry drawing

△

Click Run to generate the drawing

📋 Theorem trace log 0 steps

Theorem traces will appear here after running code…

🔺 Geometry Constraint Solver