Equal Angles

class EqAngle

Bases: Predicate

eqangle AB CD EF GH - Represent that one can rigidly move the crossing of lines AB and CD to get on top of the crossing of EF and GH, respectively (no reflections allowed).

In particular, eqangle AB CD CD AB is only true if AB is perpendicular to CD.

NAME: str = 'eqangle'

classmethod preparse(args)

classmethod parse(args, dep_graph)

classmethod check_numerical(statement)

Return type:

bool

classmethod add(dep)

Return type:

None

classmethod check(statement)

Hypothesis : the numercial test is passed

Return type:

bool

classmethod why(statement)

Hypothesis : the numercial test is passed This function should only be giving one same dependency, which is the implicit dependency used in the first check success.

Return type:

Dependency

classmethod to_constructive(point, args)

Return type:

str

classmethod to_tokens(args)

Return type:

tuple[str, ...]

classmethod pretty(statement)

Write the predicate in a natural language.

Return type:

str

classmethod draw(ax, args, dep_graph, rng)