Karim Belabas on Sun, 14 Sep 2014 08:50:29 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: gettime


* Loïc Grenié [2014-09-14 07:34]:
> 2014-09-13 23:22 GMT+02:00 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.
[...]
>      If you have a recent enough version of PARI/GP, then
>   walltime() is probably what you are looking for.

Typo: walltime() -> getwalltime()  [ added by Loic in May 2014 ]

Otherwise

  extern("date +%s")

is close enough.

Cheers,

    K.B.
--
Karim Belabas, IMB (UMR 5251)  Tel: (+33) (0)5 40 00 26 17
Universite de Bordeaux         Fax: (+33) (0)5 40 00 69 50
351, cours de la Liberation    http://www.math.u-bordeaux1.fr/~kbelabas/
F-33405 Talence (France)       http://pari.math.u-bordeaux1.fr/  [PARI/GP]
`