Sympy Ar

Implements Algebraic Derivations and Reasoning (AR) with SymPy.

---

• Algebraic Manipulator
  • SympyARDeductor
    • SympyARDeductor.deduce()
    • SympyARDeductor.add_dependency()
    • SympyARDeductor.check_predicate()
    • SympyARDeductor.justify_predicate()
  • reason_for_table()
  • predicate_to_expressions()
  • predicate_to_angle_expressions()
  • predicate_to_ratio_expressions()
• Ar Predicates
  • coll_expressions()
  • parallel_expressions()
  • enumerate_parallels()
  • perpendicular_expressions()
  • enumerate_perpendiculars()
  • aconst_expression()
  • enumerate_aconsts()
  • eqangle_expressions()
  • enumerate_eqangles()
  • cong_expressions()
  • enumerate_congs()
  • eqratio_expressions()
  • enumerate_eqratios()
  • constant_ratio_expressions()
  • enumerate_rconsts()
  • constant_length_expression()
  • enumerate_lconsts()
• Ar Table
  • ARTable
    • ARTable.expr_delta()
    • ARTable.substitute_in_existing_expressions()
    • ARTable.add_expr()
    • ARTable.why_expr()
• Table Angles
  • AnglesTable
    • AnglesTable.line_symbol()
• Table Ratios
  • RatiosTable
    • RatiosTable.segment_log_length()