

@staticmethod
def Add(expr, assumptions):
    '\n        Real + Real              -> Real\n        Real + (Complex & !Real) -> !Real\n        '
    if expr.is_number:
        return AskRealHandler._number(assumptions, assumptions)
    return test_closed_group(expr, assumptions, Q.real)

dataset/ETHPy150Open sympy/sympy/sympy/assumptions/handlers/sets.py AskRealHandler.Add/VarMisuse@29/71 `expr`->`assumptions`