pyrex.spyx -- an example compile-able SAGE file python.sage -- similar functions in pure python 8#funny-filename.spyx -- a funny filename -- but this still works: sage: load "8#funny-filename.spyx" Compiling 8#funny-filename.spyx... sage: foo(5) 25.0 -----------------