def domain_check(f, symbol, p):
 (f, p) = (sympify(f), sympify(p))
 if p.is_infinite:
  return False
 return _domain_check(f, symbol, p)

def domain_check ( f , symbol , p ) : ( f , p ) = ( sympify ( f ) , sympify ( p ) ) if p . is_infinite : return False return _domain_check ( f , symbol , p )
returns false if point p is infinite or any subexpression of f is infinite or becomes so after replacing symbol with p .