Bill Allombert on Wed, 23 Jan 2019 14:35:24 +0100


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

New GP function strtime 

Dear PARI developers,

I have added a new GP function strtime to convert time in millisecond to
a string for printing in a readable way:

? print(strtime(12345678))
3h, 25min, 45,678 ms
? {
    my(t=getabstime());
    F=factor(2^256+1);t=getabstime()-t;
    print("factor(2^256+1) took ",strtime(t));
  }
factor(2^256+1) took 1,320 ms

Cheers,
Bill