def assumptions(s):
    A = s.assumptions0
    if (A.get('finite', None) is None):
        A['finite'] = True
    A.setdefault('complex', True)
    A.setdefault('real', domain.is_subset(S.Reals))
    return A
def assumptions(s):
    A = s.assumptions0
    if (A.get('finite', None) is None):
        A['finite'] = True
    A.setdefault('complex', True)
    A.setdefault('real', domain.is_subset(S.Reals))
    return A