def practical_test18():
link(A, B)
link(A, C)
link(B, D, E, C)
link(A, F, D)
link(B, F)
link(A, E)
common_vertex_angles('A', ['B', 'D', 'E', 'C'])
common_vertex_angles('B', ['A', 'F', 'C'])
perpendicular('AD', 'BC')
set_angle('AED', 62)
set_angle('BAC', 90)
set_angle('ACB', 45)
# Set as unit length.
set_length('AF', 1)
set_length('EC', 1)
get_angle('DBF')
# assert result['answer'] == 28
return get_problem()
def practical_test33():
link(A, F, B)
link(D, C, B)
link(F, E, D)
link(A, E, C)
set_angle('BAC', 35)
set_angle('BDF', 42)
perpendicular('DF', 'AB')
get_angle('ACD')
# assert result['answer'] == 83
return get_problem()
def practical_test48():
link(A, G, E)
link(A, D, C)
link(B, G, D)
link(B, E, C)
perpendicular('AC', 'CB')
split_line('AC', 'D')
split_line('BC', 'E')
set_length('CD', 15)
set_length('CE', 15)
get_length('BD')
# assert result['answer'] == 33.5
return get_problem()
def practical_test5():
link(A, B)
link(A, N, C)
link(B, M, C)
link(M, N)
set_length('AB', 5)
set_length('AC', 5)
set_length('BC', 6)
perpendicular('MN', 'AC')
split_line('BC', 'M', 0.5)
get_length('MN')
# assert result['answer'] == 2.4
return get_problem()
def practical_test4():
link(A, B)
link(A, F)
link(A, D)
link(A, C)
link(B, F, D, C)
set_angle('ABC', 36)
set_angle('ACB', 76)
split_angle('BAC', 'AF', ratio=0.5)
common_vertex_angles('A', ['B', 'F', 'D', 'C'])
perpendicular('AD', 'BC')
get_angle('DAF')
# assert result['answer'] == 20
return get_problem()
def practical_test9():
link(A, C)
link(A, D, B)
link(B, F, C)
link(D, F)
set_angle('ACB', 90)
perpendicular('DF', 'AB')
set_length('AC', 1)
set_length('AD', 1)
set_length('BC', 1)
get_length('BF')
# assert abs(result['answer'] - (2 - 2**(1/2))) < 1e-3
return get_problem()
def practical_test23():
link(A, F, B)
link(A, E, C)
link(B, C)
link(B, O, E)
link(C, O, F)
perpendicular('CF', 'AB')
perpendicular('BE', 'AC')
set_angle('BAC', 50)
common_vertex_angles('B', ['A', 'E', 'C'])
common_vertex_angles('C', ['A', 'F', 'B'])
get_angle('BOC')
# assert result['answer'] == 130
return get_problem()
def practical_test16():
link(A, B)
link(A, D, C)
link(B, D)
link(B, E, C)
link(D, E)
set_angle('BAC', 90)
set_length('AB', 4)
set_length('BD', 5)
perpendicular('DE', 'BC')
split_angle('ABC', 'BD', 0.5)
common_vertex_angles('B', ['A', 'D', 'C'])
get_length('AD')
# assert result['answer'] == 3
return get_problem()
def practical_test21():
link(A, B)
link(A, C)
link(A, D)
link(A, E)
link(B, E, D, C)
perpendicular('AD', 'BC')
split_angle('BAC', 'AE')
set_angle('ABC', 42)
set_angle('ACB', 84)
common_vertex_angles('A', ['B', 'E', 'D', 'C'])
get_angle('AEC')
# assert result['answer'] == 69
return get_problem()
def practical_test28():
link(A, B)
link(A, E, C)
link(B, D, C)
link(B, F, E)
link(A, F, D)
set_angle('BAD', 45)
set_angle('ACB', 60)
perpendicular('AD', 'BC')
perpendicular('BE', 'AC')
common_vertex_angles('A', ['B', 'D', 'C'])
common_vertex_angles('B', ['A', 'E', 'C'])
get_angle('BFD')
# assert result['answer'] == 60
return get_problem()
def practical_test103():
link(A, E, B)
link(A, F, C)
link(B, D, C)
link(D, E)
link(D, F)
perpendicular('DE', 'AB')
perpendicular('FD', 'BC')
set_angle('AFD', 158)
common_vertex_angles('D', ['B', 'E', 'F'])
angle_equivalence('ABC', 'ACB')
get_angle('EDF')
# assert result['answer'] == 68
return get_problem()
def practical_test89():
link(A, E, C)
link(B, D, C)
link(A, B)
link(A, F, D)
link(B, F, E)
set_angle('ACB', 70)
set_angle('ABC', 48)
split_angle('BAC', 'AD', 0.5)
perpendicular('AC', 'BE')
common_vertex_angles('A', ['B', 'D', 'C'])
common_vertex_angles('B', ['A', 'E', 'C'])
get_angle('BFD')
return get_problem()
def practical_test32():
link(A, C)
link(B, C)
link(A, E, D, B)
link(C, D)
link(C, F ,E)
link(D, F)
set_angle('BAC', 40)
set_angle('CBA', 72)
split_angle('ACB', 'CE', 0.5)
perpendicular('CD', 'AB')
perpendicular('DF', 'CE')
common_vertex_angles('C', ['A', 'E', 'D', 'B'])
common_vertex_angles('D', ['A', 'F', 'C'])
get_angle('CDF')
# assert result['answer'] == 74
return get_problem()
def test_easy_input3():
link(A, B)
link(B, C)
perpendicular('AB', 'BC')
result = get_angle('ABC')
print(result)
