taddeus/trs

作者	SHA1 備註	提交日期
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 年之前