Where is walk.py located after I attach walk.sage?
The sage tutorial Loading and Attaching Sage files states that if I create a file such as walk.sage containing:
print "Hello world" print 2^4
and then load or attach it:
sage: attach 'walk.sage' Hello world 16
I should get a walk.py file containing python code in the same directory as walk.sage. I can find no such file (I've even searched my the rest of my computer). Does anyone know where the file is?