taddeus/trs

Szerző	SHA1 Üzenet	Dátum
Taddeus Kroes	efc3c91bf6 Added non-strict equivalence match.	14 éve
Taddeus Kroes	2f75e39901 Implemented and tested factor decomposition (expand).	14 éve
Taddeus Kroes	8f9717d512 Moved factors rewrite rules to separate file.	14 éve