

@staticmethod
def exp(expr, assumptions):
    return ask((Q.integer(((expr.args[0] / I) / pi)) | Q.real(expr.args[0])), assumptions)

dataset/ETHPy150Open sympy/sympy/sympy/assumptions/handlers/sets.py AskRealHandler.exp/original