It seems that ADD_VALUE_TERMS in src/mk_pairs_ops.py needs CANONIZE just
before new instance is returned.
>>> from sympycore import *
>>> a = Symbol("a")
>>> a + 1 - 1 == a
False
>>> print (a + 1 - 1).as_tree()
Calculus:
ADD[
1:SYMBOL[a]
]
Original issue reported on code.google.com by tmi...@gmail.com on 21 Apr 2008 at 8:00
Original issue reported on code.google.com by
tmi...@gmail.com
on 21 Apr 2008 at 8:00