SubstitutableEquality

The single calculus literal objects in the members of this kind of Equality can be substituted by single calculus numeric objects.

Possible args for __init__():

• a list of at least 2 Exponenteds, a dictionnary for substitution

Option:
equal_signs=["="|"neq"]
This provides a list of equal/not equal signs. Must be as long as the length of the list given in argument, minus 1. Later this may contain signs like greater than, less than etc.

Fields:
subst_dict: (read-only) the dictionnary to use for substitution

Debugging info: no dbg_str() method, so far

Check SubstitutableEquality's complete doc

Back