taddeus/trs

Эзэн	SHA1 Мессеж	Огноо
Taddeus Kroes	28644d89bd Instead of to the outside, negations in multiplications are now brought to the left.	14 жил өмнө
Taddeus Kroes	9419b2b185 Added some messages and comments to negation rules.	14 жил өмнө
Taddeus Kroes	8d6d4788ac Removed match_negate_group, replaced it with some more generic rules.	14 жил өмнө
Taddeus Kroes	f5d48c9931 Applied usage of __pos__ operators in some unit tests.	14 жил өмнө
Taddeus Kroes	998325838c Added negated division rewrite rules.	14 жил өмнө