Émilie Feral
|
69e46f4958
|
[poincare] Namespace Poincare
Change-Id: I51a84fa7978ba16f128cfe1d32c390970f2037e8
|
2017-02-13 17:15:06 +01:00 |
|
Émilie Feral
|
34d55b3981
|
[poincare] correct tests to only parse constant A-Z or x, n, t
Change-Id: I7000dd5ee37f45a273c429512bd0b8f929cbce77
|
2016-11-04 11:13:47 +01:00 |
|
Felix Raimundo
|
b7b43edea3
|
Add the possibility to detect Addition(a,a) in the rules.
Change-Id: I57ea5af186304ce8872001793a3c46e7828948e2
|
2016-04-22 16:52:45 +02:00 |
|
Felix Raimundo
|
c9e90299af
|
Distributivity for addition rules.
Change-Id: I86eb9133e2a83e7bdefea9facaa84e475f480426
|
2016-04-18 18:48:56 +02:00 |
|
Felix Raimundo
|
3f8c05ad7e
|
Add multiplication rules.
Change-Id: I5e91414e8c6ad45e0ff2d19fc7c5dc3914fa247a
|
2016-04-11 16:50:08 +02:00 |
|
Felix Raimundo
|
44ec987008
|
Add is_identical_to util in tests.
Change-Id: I8b55a228e1bd27e4c7b72891ff887bdc15b02fad
|
2016-04-11 12:47:24 +02:00 |
|
Felix Raimundo
|
93914a21fc
|
Refactor the simplification tests.
The assert_simpfilies_to is now a util function.
Change-Id: Iac164359e7f8136434860e10d9b414b17c6b6268
|
2016-04-11 12:26:06 +02:00 |
|
Felix Raimundo
|
2f7b1f4860
|
Add the cloneWithNewOperands method.
This allows to replace the operands of an expression with new ones.
Change-Id: I3c2d183bbdbcc43b776f7ce2a302216c52e494bd
|
2016-04-11 12:21:14 +02:00 |
|