-
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.
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.
Loading