sympy/sympy — pull request #881 by asmeurer (2011-12-23 17:13:29+00:00)
Title: Pylint jcreus

This adds a test for a bug that was fixed by #879 (the rest of the commits will go away when that is merged).

@mattpap, could you look this over and verify that I did it correctly? Also, I couldn't figure out a case where two domains could be unified into a third domain, so no test was added for that.