Ask Your Question

Revision history [back]

Hi,

You may use the time library of Python:

sage: from time import time
sage: time()
1367522924.932015

More informations at http://docs.python.org/2/library/time.html.