Deductors
Deductors are alternative ways to get deductions from other sources than rules and symbols merges.
The main example of deductor is the algebraic reasoning, which is used to get deductions from angle chasing and ratio chasing.
- class ARReason(*values)
Bases:
str,Enum- ANGLE_CHASING = 'Angle Chasing'
- RATIO_CHASING = 'Ratio Chasing'
- Sympy Ar
- Algebraic Manipulator
- 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
- Table Angles
- Table Ratios