taddeus/trs

Auteur	SHA1 Message	Date
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