Pythagoras
- class PythagoreanPremises
Bases:
PredicatePythagoreanPremises a b c abc is in the form of a right angled triangle. ab is perpendicular to ac
-
NAME:
str= 'PythagoreanPremises'
- 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 pretty(statement)
Write the predicate in a natural language.
- Return type:
str
- 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:
Optional[Dependency]
-
NAME:
- class PythagoreanConclusions
Bases:
Predicate-
NAME:
str= 'PythagoreanConclusions'
- 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)
-
NAME: