Traceback (most recent call last): File "src.py", line 1, in <module> a=double(input('')) NameError: name 'double' is not defined