Predicates
Define predicates used in Newclid.
- predicate_class_from_type(predicate_type)
- Return type:
type[PredicateInterface]
- predicate_from_construction(construction, points_registry)
- Return type:
Union[Circumcenter,Cong,Coll,NColl,Cyclic,ConstantAngle,ACompute,LCompute,ConstantLength,ConstantRatio,EqAngle,Diff,RCompute,ObtuseAngle,MidPoint,EqRatio,Perp,NPerp,Para,NPara,SameClock,SameSide,NSameSide,PythagoreanPremises,PythagoreanConclusions,SquaredConstantLength,SquaredConstantRatio,SimtriClock,SimtriReflect,ContriClock,ContriReflect,AngleEquation,LengthEquation,None]
- Circumcenter
- Collinearity
- Congruence
- Constant Angle
- Constant Length
- Constant Ratio
- Cyclic
- Different
- Equal Angles
- Equal Ratios
- Equation Angle
- Equation Length
- Midpoint
- Obtuse Angle
- Parallelism
- Perpendicularity
- Pythagoras
- Sameclock
- Sameside
- Squared Constant Length
- Squared Constant Ratio
- Triangles Congruent
- Triangles Similar