Midpoint

class MidPoint

Bases: Predicate

midp M A B - Represent that M is the midpoint of the segment AB.

Can be equivalent to coll M A B and cong A M B M.

NAME: str = 'midp'

classmethod preparse(args)

classmethod parse(args, dep_graph)

classmethod check_numerical(statement)

Return type:

bool

classmethod pretty(statement)

Write the predicate in a natural language.

Return type:

str