Method test_angle_table_equilateral_triangle

ar_test.py:125–163

Test that AR can figure out triangles with 3 equal angles => each is pi/3.

(self)

    )

  def test_angle_table_equilateral_triangle(self):
    """Test that AR can figure out triangles with 3 equal angles => each is pi/3."""
    # Load an equaliteral scenario
    p = pr.Problem.from_txt('a b c = ieq_triangle ? cong a b a c')
    g, _ = gh.Graph.build_problem(p, ARTest.defs)

    # Add two eqangles facts because ieq_triangle only add congruent sides
    a, b, c = g.names2nodes('abc')
    g.add_eqangle([a, b, b, c, b, c, c, a], pr.EmptyDependency(0, None))
    g.add_eqangle([b, c, c, a, c, a, a, b], pr.EmptyDependency(0, None))

    # Create an external angle table:
    tb = ar.AngleTable('pi')

    # Add the fact that there are three equal angles
    ab, bc, ca = g.names2nodes(['d(ab)', 'd(bc)', 'd(ac)'])
    tb.add_eqangle(ab, bc, bc, ca, 'fact1')
    tb.add_eqangle(bc, ca, ca, ab, 'fact2')

    # Now check for all new equalities
    result = list(tb.get_all_eqs_and_why())
    result = [(x.name, y.name, z, t) for x, y, z, t in result]

    # 1/3 pi is represented as a tuple angle_60
    angle_60 = (1, 3)
    angle_120 = (2, 3)

    # check that angles constants are created and figured out:
    self.assertCountEqual(
        result,
        [
            ('d(bc)', 'd(ac)', angle_120, ['fact1', 'fact2']),
            ('d(ab)', 'd(bc)', angle_120, ['fact1', 'fact2']),
            ('d(ac)', 'd(ab)', angle_120, ['fact1', 'fact2']),
            ('d(ac)', 'd(bc)', angle_60, ['fact1', 'fact2']),
            ('d(bc)', 'd(ab)', angle_60, ['fact1', 'fact2']),
            ('d(ab)', 'd(ac)', angle_60, ['fact1', 'fact2']),
        ],
    )

  def test_incenter_excenter_touchpoints(self):
    """Test that AR can figure out incenter/excenter touchpoints are equidistant to midpoint."""