 Sander Mathijs van Veen
|
3c4c11f688
Add AGPLv3 header to all source files.
|
před 13 roky |
|
Sander Mathijs van Veen
|
29cb03ad9c
Fix negation bug in numeric power (e.g. -2^8).
|
před 13 roky |
|
Taddeus Kroes
|
91a264526c
Scope removing/replacing is now done using numeric indices instead of node references.
|
před 13 roky |
|
Taddeus Kroes
|
140ddc5965
Updated all unit tests correspondingly to the previous commits.
|
před 14 roky |
|
Taddeus Kroes
|
42662f455b
Changed negation precedence to that of subtraction and modified rules+tests correspondingly.
|
před 14 roky |
|
Taddeus Kroes
|
57dba53ee4
Applied negation checks to some fraction rules.
|
před 14 roky |
|
Taddeus Kroes
|
4378743ced
Resolved merge conflict.
|
před 14 roky |
|
Taddeus Kroes
|
bf1bfdad49
Added tests for recently added numeric division rules.
|
před 14 roky |
|
Sander Mathijs van Veen
|
7175d98667
Added test cases for raise_numerics.
|
před 14 roky |
|
Taddeus Kroes
|
1453c1cbd3
Fixed numeric rules.
|
před 14 roky |
|
Taddeus Kroes
|
f51ea5e32c
Applied pep8 to unit tests.
|
před 14 roky |
|
Taddeus Kroes
|
805a91666a
Added some match cases for coverage.
|
před 14 roky |
|
Taddeus Kroes
|
7d186db7bb
Implemented use of Scope class in multiply_numerics.
|
před 14 roky |
|
Sander Mathijs van Veen
|
388752b486
Added support for OP_NEG in multiply_numerics and add_nominators.
|
před 14 roky |
|
Sander Mathijs van Veen
|
c5b2a5c6ab
Added support for fractions with negation and addition of negative numbers.
|
před 14 roky |
|
Taddeus Kroes
|
efc3c91bf6
Added non-strict equivalence match.
|
před 14 roky |
|
Taddeus Kroes
|
c680c67e0d
Removed duplicate function in unit tests.
|
před 14 roky |
|
Taddeus Kroes
|
f057cadaa0
Implemented and tested numerics multiplication rewriting.
|
před 14 roky |
|
Taddeus Kroes
|
a7888fc754
Fixed duplicated fucntion definition in unit tests.
|
před 14 roky |
|
Taddeus Kroes
|
c2fb403565
Improved numeric rules match functions.
|
před 14 roky |
|
Taddeus Kroes
|
6097dce75b
Added unit tests for numeric rules.
|
před 14 roky |
