 Sander Mathijs van Veen
|
3c4c11f688
Add AGPLv3 header to all source files.
|
13 роки тому |
|
Taddeus Kroes
|
91a264526c
Scope removing/replacing is now done using numeric indices instead of node references.
|
13 роки тому |
|
Taddeus Kroes
|
140ddc5965
Updated all unit tests correspondingly to the previous commits.
|
14 роки тому |
|
Taddeus Kroes
|
42662f455b
Changed negation precedence to that of subtraction and modified rules+tests correspondingly.
|
14 роки тому |
|
Taddeus Kroes
|
efc3c91bf6
Added non-strict equivalence match.
|
14 роки тому |
|
Taddeus Kroes
|
2f75e39901
Implemented and tested factor decomposition (expand).
|
14 роки тому |
|
Taddeus Kroes
|
8f9717d512
Moved factors rewrite rules to separate file.
|
14 роки тому |
