taddeus/trs

Auteur	SHA1 Message	Date
Taddeus Kroes	140ddc5965 Updated all unit tests correspondingly to the previous commits.	il y a 14 ans
Taddeus Kroes	42662f455b Changed negation precedence to that of subtraction and modified rules+tests correspondingly.	il y a 14 ans
Taddeus Kroes	efc3c91bf6 Added non-strict equivalence match.	il y a 14 ans
Taddeus Kroes	2f75e39901 Implemented and tested factor decomposition (expand).	il y a 14 ans
Taddeus Kroes	8f9717d512 Moved factors rewrite rules to separate file.	il y a 14 ans