Collinearity

class Coll

Bases: Predicate

coll A B C … - Represent that the 3 (or more) points in the arguments are collinear.

NAME: str = 'coll'

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 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 add(dep)

classmethod to_constructive(point, args)

Return type:: str

classmethod pretty(statement)

Write the predicate in a natural language.

Return type:: str

classmethod to_tokens(args)

Return type:: tuple[str, ...]

classmethod draw(ax, args, dep_graph, rng)

class NColl

Bases: Predicate

ncoll A B C … - Represent that any of the 3 (or mo}re) points is not aligned with the others.

Numerical only.

NAME: str = 'ncoll'

classmethod preparse(args)

Return type:: Optional[tuple[str, ...]]

classmethod parse(args, dep_graph)

Return type:: Optional[tuple[Any, ...]]