Method test_angle_table_inbisector_exbisector

ar_test.py:88–123

Test that AR can figure out bisector & ex-bisector are perpendicular.

(self)

    self.assertIn(('b', 'd', ['fact1', 'fact2']), result)

  def test_angle_table_inbisector_exbisector(self):
    """Test that AR can figure out bisector & ex-bisector are perpendicular."""
    # Load the scenario that we have cd is bisector of acb and
    # ce is the ex-bisector of acb.
    p = pr.Problem.from_txt(
        'a b c = triangle a b c; d = incenter d a b c; e = excenter e a b c ?'
        ' perp d c c e'
    )
    g, _ = gh.Graph.build_problem(p, ARTest.defs)

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

    # Add bisector & ex-bisector facts into the table:
    ca, cd, cb, ce = g.names2nodes(['d(ac)', 'd(cd)', 'd(bc)', 'd(ce)'])
    tb.add_eqangle(ca, cd, cd, cb, 'fact1')
    tb.add_eqangle(ce, ca, cb, ce, 'fact2')

    # Add a distractor fact to make sure traceback does not include this fact
    ab = g.names2nodes(['d(ab)'])[0]
    tb.add_eqangle(ab, cb, cb, ca, 'fact3')

    # Check for all new equalities
    result = list(tb.get_all_eqs_and_why())

    # halfpi is represented as a tuple (1, 2)
    halfpi = (1, 2)

    # check that cd-ce == halfpi and this is because fact1 & fact2, not fact3
    self.assertCountEqual(
        result,
        [
            (cd, ce, halfpi, ['fact1', 'fact2']),
            (ce, cd, halfpi, ['fact1', 'fact2']),
        ],
    )

  def test_angle_table_equilateral_triangle(self):
    """Test that AR can figure out triangles with 3 equal angles => each is pi/3."""