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

OK, except for this final question it's done: how should assumptions be handled by equals()? My thinking is that it shouldn't (but I have a power.py test that uses assumtions right now). equals() should only try to answer whether the expression simplifies to Zero -- literally. So x.equals(y) is False, whereas (x - y).is_zero is None since there are ways that this could be zero and ways that it could not be. But I've got to quit for now. Don't wait for this with KD...it will be easy to modify later.