First time here? Check out the FAQ!

Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

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.