Predicates

---

• Circumcenter
  • Circumcenter
    • Circumcenter.NAME
    • Circumcenter.preparse()
    • Circumcenter.parse()
    • Circumcenter.check_numerical()
    • Circumcenter.check()
    • Circumcenter.add()
    • Circumcenter.why()
    • Circumcenter.pretty()
• Collinearity
  • Coll
    • Coll.NAME
    • Coll.preparse()
    • Coll.parse()
    • Coll.check_numerical()
    • Coll.check()
    • Coll.why()
    • Coll.add()
    • Coll.to_constructive()
    • Coll.pretty()
    • Coll.to_tokens()
    • Coll.draw()
  • NColl
    • NColl.NAME
    • NColl.preparse()
    • NColl.parse()
    • NColl.check_numerical()
    • NColl.check()
    • NColl.why()
    • NColl.pretty()
• Congruence
  • Cong
    • Cong.NAME
    • Cong.preparse()
    • Cong.parse()
    • Cong.check_numerical()
    • Cong.add()
    • Cong.check()
    • Cong.why()
    • Cong.to_constructive()
    • Cong.pretty()
    • Cong.to_tokens()
    • Cong.draw()
• Constant Angle
  • ConstantAngle
    • ConstantAngle.NAME
    • ConstantAngle.preparse()
    • ConstantAngle.parse()
    • ConstantAngle.check_numerical()
    • ConstantAngle.add()
    • ConstantAngle.why()
    • ConstantAngle.check()
    • ConstantAngle.to_tokens()
    • ConstantAngle.pretty()
  • ACompute
    • ACompute.NAME
    • ACompute.preparse()
    • ACompute.parse()
    • ACompute.check_numerical()
    • ACompute.why()
    • ACompute.check()
    • ACompute.pretty()
• Constant Length
  • ConstantLength
    • ConstantLength.NAME
    • ConstantLength.preparse()
    • ConstantLength.parse()
    • ConstantLength.check_numerical()
    • ConstantLength.add()
    • ConstantLength.check()
    • ConstantLength.why()
    • ConstantLength.to_tokens()
    • ConstantLength.pretty()
  • LCompute
    • LCompute.NAME
    • LCompute.preparse()
    • LCompute.parse()
    • LCompute.check_numerical()
    • LCompute.check()
    • LCompute.why()
    • LCompute.pretty()
• Constant Ratio
  • ConstantRatio
    • ConstantRatio.NAME
    • ConstantRatio.preparse()
    • ConstantRatio.parse()
    • ConstantRatio.check_numerical()
    • ConstantRatio.add()
    • ConstantRatio.check()
    • ConstantRatio.why()
    • ConstantRatio.pretty()
    • ConstantRatio.to_tokens()
  • RCompute
    • RCompute.NAME
    • RCompute.preparse()
    • RCompute.parse()
    • RCompute.check_numerical()
    • RCompute.check()
    • RCompute.why()
    • RCompute.pretty()
• Cyclic
  • Cyclic
    • Cyclic.NAME
    • Cyclic.preparse()
    • Cyclic.parse()
    • Cyclic.check_numerical()
    • Cyclic.check()
    • Cyclic.add()
    • Cyclic.to_constructive()
    • Cyclic.why()
    • Cyclic.pretty()
    • Cyclic.to_tokens()
    • Cyclic.draw()
• Different
  • Diff
    • Diff.NAME
    • Diff.preparse()
    • Diff.parse()
    • Diff.check_numerical()
    • Diff.check()
    • Diff.why()
    • Diff.to_repr()
• Equal Angles
  • EqAngle
    • EqAngle.NAME
    • EqAngle.preparse()
    • EqAngle.parse()
    • EqAngle.check_numerical()
    • EqAngle.add()
    • EqAngle.check()
    • EqAngle.why()
    • EqAngle.to_constructive()
    • EqAngle.to_tokens()
    • EqAngle.pretty()
    • EqAngle.draw()
• Equal Ratios
  • EqRatio
    • EqRatio.NAME
    • EqRatio.preparse()
    • EqRatio.parse()
    • EqRatio.check_numerical()
    • EqRatio.add()
    • EqRatio.why()
    • EqRatio.check()
    • EqRatio.to_tokens()
    • EqRatio.pretty()
  • EqRatio3
    • EqRatio3.NAME
    • EqRatio3.preparse()
    • EqRatio3.parse()
    • EqRatio3.check_numerical()
    • EqRatio3.check()
    • EqRatio3.add()
• Midpoint
  • MidPoint
    • MidPoint.NAME
    • MidPoint.preparse()
    • MidPoint.parse()
    • MidPoint.check_numerical()
    • MidPoint.pretty()
• Parallelism
  • Para
    • Para.NAME
    • Para.preparse()
    • Para.parse()
    • Para.check_numerical()
    • Para.add()
    • Para.why()
    • Para.check()
    • Para.pretty()
    • Para.to_constructive()
    • Para.draw()
  • NPara
    • NPara.NAME
    • NPara.preparse()
    • NPara.parse()
    • NPara.check_numerical()
    • NPara.check()
    • NPara.pretty()
• Perpendicularity
  • Perp
    • Perp.NAME
    • Perp.preparse()
    • Perp.parse()
    • Perp.check_numerical()
    • Perp.add()
    • Perp.check()
    • Perp.why()
    • Perp.to_constructive()
    • Perp.pretty()
    • Perp.to_tokens()
    • Perp.draw()
  • NPerp
    • NPerp.NAME
    • NPerp.preparse()
    • NPerp.parse()
    • NPerp.check_numerical()
    • NPerp.check()
    • NPerp.pretty()
• Predicate
  • Predicate
    • Predicate.NAME
    • Predicate.preparse()
    • Predicate.parse()
    • Predicate.check_numerical()
    • Predicate.check()
    • Predicate.add()
    • Predicate.why()
    • Predicate.pretty()
    • Predicate.to_repr()
    • Predicate.to_tokens()
    • Predicate.to_constructive()
    • Predicate.draw()
• Pythagoras
  • PythagoreanPremises
    • PythagoreanPremises.NAME
    • PythagoreanPremises.preparse()
    • PythagoreanPremises.parse()
    • PythagoreanPremises.check_numerical()
    • PythagoreanPremises.check()
    • PythagoreanPremises.pretty()
    • PythagoreanPremises.why()
  • PythagoreanConclusions
    • PythagoreanConclusions.NAME
    • PythagoreanConclusions.preparse()
    • PythagoreanConclusions.parse()
    • PythagoreanConclusions.check_numerical()
    • PythagoreanConclusions.add()
• Sameclock
  • SameClock
    • SameClock.NAME
    • SameClock.preparse()
    • SameClock.parse()
    • SameClock.check_numerical()
    • SameClock.check()
    • SameClock.why()
    • SameClock.add()
    • SameClock.pretty()
• Sameside
  • SameSide
    • SameSide.NAME
    • SameSide.preparse()
    • SameSide.parse()
    • SameSide.check_numerical()
    • SameSide.check()
    • SameSide.why()
    • SameSide.pretty()
  • NSameSide
    • NSameSide.NAME
    • NSameSide.preparse()
    • NSameSide.parse()
    • NSameSide.check_numerical()
    • NSameSide.check()
    • NSameSide.why()
    • NSameSide.pretty()
• Triangles Congruent
  • ContriClock
    • ContriClock.NAME
    • ContriClock.preparse()
    • ContriClock.parse()
    • ContriClock.check_numerical()
    • ContriClock.to_tokens()
  • ContriReflect
    • ContriReflect.NAME
    • ContriReflect.preparse()
    • ContriReflect.parse()
    • ContriReflect.check_numerical()
    • ContriReflect.to_tokens()
• Triangles Similar
  • two_triangles()
  • SimtriClock
    • SimtriClock.NAME
    • SimtriClock.preparse()
    • SimtriClock.parse()
    • SimtriClock.check_numerical()
    • SimtriClock.to_tokens()
    • SimtriClock.pretty()
    • SimtriClock.draw()
  • SimtriReflect
    • SimtriReflect.NAME
    • SimtriReflect.preparse()
    • SimtriReflect.parse()
    • SimtriReflect.check_numerical()
    • SimtriReflect.to_tokens()
    • SimtriReflect.pretty()
    • SimtriReflect.draw()