taddeus/trs

Autore	SHA1 Messaggio	Data
Sander Mathijs van Veen	9b18453bcb Fixed merge conflict, added match_extend_exponent and improved add_exponents.	14 anni fa
Taddeus Kroes	efc3c91bf6 Added non-strict equivalence match.	14 anni fa
Taddeus Kroes	92f3a4e97f Added type check to ExpressionLeaf equality check.	14 anni fa
Taddeus Kroes	ad790a215b duplicate_exponent now supports n-ary multiplication.	14 anni fa
Taddeus Kroes	b0709085ac Added basic rewrite rules for powers.	14 anni fa