gettime

[Josef Eschgfaeller <esg@unife.it>]

python="python -c \"import time; print(time.time())\""
tstring=externstr(python)
t100=floor(100*eval(tstring))
\\ 141064265237 (for example)
--------------------------------------------------
Can one do this inside of Pari/GP?
For example in setting the random seed.

gettime and getabstime give a relative time,
which usually does not allow different
experiments if one uses Pari/GP from
a script file (since the interpreter is
then initialized for each call and the
relative times result more or less equal).

Thanks
Josef Eschgfaeller