sympy/sympy — pull request #8664 by rotu (2014-12-20 05:14:08+00:00)
Title: Qualifiers

An experimental feature for associating assumptions with expressions. Adds a new "Qualified" type which wraps an algebraic or boolean expression and throws a contradiction exception if the assumptions ever become false.