taddeus/trs

Upphovsman	SHA1 Meddelande	Datum
Taddeus Kroes	28644d89bd Instead of to the outside, negations in multiplications are now brought to the left.	14 år sedan
Taddeus Kroes	9419b2b185 Added some messages and comments to negation rules.	14 år sedan
Taddeus Kroes	8d6d4788ac Removed match_negate_group, replaced it with some more generic rules.	14 år sedan
Taddeus Kroes	f5d48c9931 Applied usage of __pos__ operators in some unit tests.	14 år sedan
Taddeus Kroes	998325838c Added negated division rewrite rules.	14 år sedan