Triangles Congruent

class ContriClock

Bases: Predicate

contri A B C P Q R -

Represent that triangles ABC and PQR are congruent under orientation-preserving transformations taking A to P, B to Q and C to R.

It is equivalent to the three eqangle and eqratio predicates on the corresponding angles and sides.

NAME: str = 'contri'

classmethod preparse(args)

Return type:

Optional[tuple[str, ...]]

classmethod parse(args, dep_graph)

Return type:

Optional[tuple[Any, ...]]

classmethod check_numerical(statement)

Return type:

bool

classmethod to_tokens(args)

Return type:

tuple[str, ...]

class ContriReflect

Bases: Predicate

contrir A B C P Q R -

Represent that triangles ABC and PQR are congruent under orientation-preserving transformations taking A to P, B to Q and C to R.

It is equivalent to the three eqangle and eqratio predicates on the corresponding angles and sides.

NAME: str = 'contrir'

classmethod preparse(args)

Return type:

Optional[tuple[str, ...]]

classmethod parse(args, dep_graph)

Return type:

Optional[tuple[Any, ...]]

classmethod check_numerical(statement)

Return type:

bool

classmethod to_tokens(args)

Return type:

tuple[str, ...]