First time here? Check out the FAQ!
answered 2023-07-29 23:43:14 +0100
Rename your file from .py to .sage.
Then it will be read with all Sage names active.
In a .py file you need to import things explicitly.