Parallelism

class Para

Bases: Predicate

para A B C D - Represent that the line AB is parallel to the line CD.

NAME: str = 'para'

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

Hypothesis : the numercial test is passed

Return type:

bool

classmethod pretty(statement)

Write the predicate in a natural language.

Return type:

str

classmethod to_constructive(point, args)

Return type:

str

classmethod draw(ax, args, dep_graph, rng)

class NPara

Bases: Predicate

npara A B C D - Represent that lines AB and CD are NOT parallel.

It can only be numerically checked (angular coefficient of the equations of the lines are different).

NAME: str = 'npara'

classmethod preparse(args)

classmethod parse(args, dep_graph)

classmethod check_numerical(statement)

Return type:

bool

classmethod check(statement)

Hypothesis : the numercial test is passed

Return type:

bool

classmethod pretty(statement)

Write the predicate in a natural language.

Return type:

str