Algebraic Manipulator
- class SympyARDeductor
Bases:
Deductor- deduce(symbols_registry)
Deduce dependencies o new predicates from the current dependency graph.
- Return type:
Iterator[Assumption|NumericalCheck|RuleApplication|ARDeduction|CircleMerge|LineMerge|DirectConsequence|Reflexivity]
- add_dependency(dependency, symbols_registry)
Add a predicate to the deductor.
- Return type:
None
- check_predicate(predicate, symbols_registry)
Check if a predicate is valid for the deductor.
- Return type:
bool
- justify_predicate(predicate, symbols_registry)
Justify a predicate with a dependency.
- Return type:
Assumption|NumericalCheck|RuleApplication|ARDeduction|CircleMerge|LineMerge|DirectConsequence|Reflexivity
- predicate_to_expressions(predicate, symbols_registry, table)
- Return type:
list[Expr]
- predicate_to_angle_expressions(predicate, symbols_registry, table)
- Return type:
list[Expr]
- predicate_to_ratio_expressions(predicate, table)
- Return type:
list[Expr]