Re: timing in GP

[Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr>]

On Sun, Sep 30, 2012 at 10:17:58PM +0200, Loïc Grenié wrote:
> 2012/9/30 Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr>:
> > We should provide a version of gettime that return the time in microseconds
> > since the start of the GP session so we could do
> > t=gettime2();....;print(gettime2()-t;
> 
>     I think getabstime() or something similar would be better but in general
>   it's a good idea.

I did not meant to call it gettime2(), this was just an example.

> > We could also provide a function printtime(t,s,...) which would do
> > print("Time ",s," :",gettime2()-t);
> 
>     Is it really necessary ?

The idea is to provide a GP interface that is similar to the C/libpari interface
so that GP2C can translate the one to the other (using timer_printf here).

Basically to improve GP2C, either you add C interfaces similar to GP or you add
GP interfaces similar to C.

Cheers,
Bill.