taddeus/trs

نویسنده	SHA1 پیام	تاریخ
Taddeus Kroes	140ddc5965 Updated all unit tests correspondingly to the previous commits.	14 سال پیش
Taddeus Kroes	42662f455b Changed negation precedence to that of subtraction and modified rules+tests correspondingly.	14 سال پیش
Taddeus Kroes	efc3c91bf6 Added non-strict equivalence match.	14 سال پیش
Taddeus Kroes	2f75e39901 Implemented and tested factor decomposition (expand).	14 سال پیش
Taddeus Kroes	8f9717d512 Moved factors rewrite rules to separate file.	14 سال پیش