evaluation_or_simplification¶
-
proveit.logic.
evaluation_or_simplification
(expr, return_none_if_trivial=False)[source]¶ Return a nontrivial evaluation of the given expression if possible; otherwise return a nontrivial simplification if possible. If we can’t obtain one or the expression is already irreducible or simplified, return the trivial reflection or None if return_none_if_trivial is True.