Constant Ratio

class ConstantRatio

Bases: Predicate

rconst A B C D r - Represent that AB / CD = r

r should be given with numerator and denominator separated by ‘/’, as in 2/3.

NAME: str = 'rconst'

classmethod preparse(args)

classmethod parse(args, dep_graph)

classmethod check_numerical(statement)

Return type:: bool

classmethod add(dep)

Return type:: None

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

Write the predicate in a natural language.

Return type:: str

classmethod to_tokens(args)

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

class RCompute