 Sander Mathijs van Veen
|
3c4c11f688
Add AGPLv3 header to all source files.
|
13 lat temu |
|
Taddeus Kroes
|
5f84e8633f
Improved 'factor' rules so that 'Expand ...'-hints make more sense.
|
14 lat temu |
|
Taddeus Kroes
|
fc74767438
Fixed some rule messages.
|
14 lat temu |
|
Taddeus Kroes
|
42662f455b
Changed negation precedence to that of subtraction and modified rules+tests correspondingly.
|
14 lat temu |
|
Taddeus Kroes
|
6e8d634547
Group combinations now support negated constants.
|
14 lat temu |
|
Taddeus Kroes
|
c7a9125f63
Applied usage of Scope.replace method and fixed some failing unit tests.
|
14 lat temu |
|
Sander Mathijs van Veen
|
105cd26942
Removed OP_NEG operator from source code (partially done).
|
14 lat temu |
|
Sander Mathijs van Veen
|
2a400ac2c7
Use is_leaf attribute instead of calling a method.
|
14 lat temu |
|
Sander Mathijs van Veen
|
73a3bf0679
Added remaining possibility messages to the rules.
|
14 lat temu |
|
Taddeus Kroes
|
c6147911d6
Fixed ALL! import errors regarding scopes.
|
14 lat temu |
|
Sander Mathijs van Veen
|
388752b486
Added support for OP_NEG in multiply_numerics and add_nominators.
|
14 lat temu |
|
Sander Mathijs van Veen
|
007c7c369d
Added possibility messages to factor rules.
|
14 lat temu |
|
Sander Mathijs van Veen
|
d7b3107f03
Removed useless statement from rules/factors.
|
14 lat temu |
|
Taddeus Kroes
|
2f75e39901
Implemented and tested factor decomposition (expand).
|
14 lat temu |
|
Taddeus Kroes
|
8f9717d512
Moved factors rewrite rules to separate file.
|
14 lat temu |
