First time here? Check out the FAQ!
answered 2013-10-19 06:57:30 +0100
You should add the following line at the beginning of your script:
from sage.all import *