taddeus/trs

Tác giả	SHA1 Thông báo	Ngày
Taddeus Kroes	efc3c91bf6 Added non-strict equivalence match.	14 năm trước cách đây
Taddeus Kroes	2f75e39901 Implemented and tested factor decomposition (expand).	14 năm trước cách đây
Taddeus Kroes	8f9717d512 Moved factors rewrite rules to separate file.	14 năm trước cách đây