taddeus/trs

Autors	SHA1 Ziņojums	Datums
Taddeus Kroes	42662f455b Changed negation precedence to that of subtraction and modified rules+tests correspondingly.	14 gadi atpakaļ
Taddeus Kroes	efc3c91bf6 Added non-strict equivalence match.	14 gadi atpakaļ
Taddeus Kroes	2f75e39901 Implemented and tested factor decomposition (expand).	14 gadi atpakaļ
Taddeus Kroes	8f9717d512 Moved factors rewrite rules to separate file.	14 gadi atpakaļ