예제 #1
0
from sandbox import Scene
from sandbox.hunter import Hunter

scene = Scene()

A = scene.free_point(label='A')
B = scene.free_point(label='B')
c0 = A.circle_through(B)
c1 = B.circle_through(A)
C = c0.intersection_point(c1, label='C')
scene.centroid_point((A, B, C), label='D')
A.segment(B).middle_point(label='E')

hunter = Hunter(scene)
hunter.hunt()
hunter.dump()
예제 #2
0
from sandbox import Scene

from runner import run_sample

scene = Scene()

triangle = scene.nondegenerate_triangle(labels=('A', 'B', 'C'))
triangle.sides[0].congruent_constraint(triangle.sides[1])
triangle.sides[0].congruent_constraint(triangle.sides[2])
scene.centroid_point(triangle, label='D')

run_sample(scene)