(cls, cond)
return None
Return the truth value of the condition.
Return the truth value of the condition.
Return the truth value of the condition .
def __eval_cond(cls, cond):
        """Return the truth value of the condition."""
        from sympy.solvers.solvers import checksol
        if cond == True:
            return True
        if isinstance(cond, Equality):
            if checksol(cond, {}, minimal=True):
                # the equality is trivially solved
                return True
            diff = cond.lhs - cond.rhs
            if diff.is_commutative:
                return diff.is_zero
        return None
def __eval_cond ( cls , cond ) : from sympy . solvers . solvers import checksol if cond == True : return True if isinstance ( cond , Equality ) : if checksol ( cond , { } , minimal = True ) : # the equality is trivially solved return True diff = cond . lhs - cond . rhs if diff . is_commutative : return diff . is_zero return None