 Taddeus Kroes
|
047790348d
Fixed ALL! the tests.
|
14 anni fa |
|
Taddeus Kroes
|
28644d89bd
Instead of to the outside, negations in multiplications are now brought to the left.
|
14 anni fa |
|
Taddeus Kroes
|
9419b2b185
Added some messages and comments to negation rules.
|
14 anni fa |
|
Taddeus Kroes
|
8d6d4788ac
Removed match_negate_group, replaced it with some more generic rules.
|
14 anni fa |
|
Taddeus Kroes
|
f5d48c9931
Applied usage of __pos__ operators in some unit tests.
|
14 anni fa |
|
Taddeus Kroes
|
998325838c
Added negated division rewrite rules.
|
14 anni fa |
