Added simplify_by_equality
Added a simplification function to simplify expressions using a given equality a = b + c
, by replacing occurences of e.g. b + c
by a
, or a - b
by c
.
Edited by Frederik Hennig
Added a simplification function to simplify expressions using a given equality a = b + c
, by replacing occurences of e.g. b + c
by a
, or a - b
by c
.