-
Akim Demaille authored
* tests/python/is-equivalent.py: Since we move to more `trivial` identities, this test was weakened, as the expressions were not just equivalent, but equal.
1bb14e0b
* tests/python/is-equivalent.py: Since we move to more `trivial` identities, this test was weakened, as the expressions were not just equivalent, but equal.