 Sander Mathijs van Veen
|
dae7dd45de
Fixed add_exponents message typo and added add_numerics message.
|
14 年之前 |
|
Sander Mathijs van Veen
|
c5b2a5c6ab
Added support for fractions with negation and addition of negative numbers.
|
14 年之前 |
|
Sander Mathijs van Veen
|
96e20bcc14
Added possibility message for add_numerics.
|
14 年之前 |
|
Taddeus Kroes
|
f057cadaa0
Implemented and tested numerics multiplication rewriting.
|
14 年之前 |
|
Sander Mathijs van Veen
|
fa6beda1e0
Added pretty printing of possibilities with 'add_exponents' as usage example.
|
14 年之前 |
|
Taddeus Kroes
|
c2fb403565
Improved numeric rules match functions.
|
14 年之前 |
|
Taddeus Kroes
|
6b90f9308d
Forgot to add numerics rule file in earlier commits (A).
|
14 年之前 |
