Circumcenter

class Circumcenter

Bases: Predicate

circle O A B C - Represent that O is the center of the circle through A, B, and C (circumcenter of triangle ABC).

Can be equivalent to cong O A O B and cong O A O C, and equivalent pairs of congruences.

NAME: str = 'circle'

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 check(statement)

Hypothesis : the numercial test is passed

Return type:: bool

classmethod add(dep)

Return type:: None

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 pretty(statement)

Write the predicate in a natural language.

Return type:: str