sympy/sympy — pull request #2574 by jrioux (2013-11-08 15:41:11+00:00)
Title: Sanitize assumptions on symbols.

Convert assumptions to bool (this needs to happen before caching).

Fixes issue 3567: Sanitize FactKB
http://code.google.com/p/sympy/issues/detail?id=3567