smichr/sympy — comment on commit 12fb4eee761475e31ecac8c1904bb1866c74851d
File:  line 0
By saptman:

Ok, so my reasoning is that methods/properties that do not explicitly rely on assumptions should not try to be intelligent (in the sense, they should not try to infer anything) but just behave in a "dumb" manner. In that sense x.equals(y) is False makes sense since x == y is not explicitly true.
(x - y).is_zero 's result depends on, as you mentioned, the assumptions on x and y. Not to mention its an explicit assumptions check. Its good if we can maintain this kind of separation through out the code base, it will definitely make things more consistent.

If all the tests pass, and other concerns taken care of, +1 from me.