Post a reply
Username:
Note:If not registered, provide any username. For more comfort, register here.
Subject:
Message body:
Enter your message here, it may contain no more than 60000 characters. 

Smilies
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:
Font size:
Font colour
Options:
BBCode is ON
[img] is ON
[flash] is OFF
[url] is ON
Smilies are ON
Disable BBCode
Disable smilies
Do not automatically parse URLs
Confirmation of post
To prevent automated posts the board requires you to enter a confirmation code. The code is displayed in the image you should see below. If you are visually impaired or cannot otherwise read this code please contact the %sBoard Administrator%s.
Confirmation code:
Enter the code exactly as it appears. All letters are case insensitive, there is no zero.
   

Topic review - Get time with a specific detail
Author Message
  Post subject:  Re: Get time with a specific detail  Reply with quote
timer in Singular uses getrusage, converts it to 1/00 1/s and than adapts it
to your setting of ticks-per-sec.
That means the maximal precision is 0.01 seconds.
But remember that on multi-process systems all timings below 0.5 seconds
are not reliable.
Post Posted: Thu Sep 23, 2010 7:45 pm
  Post subject:  Get time with a specific detail  Reply with quote
Hello everyone!
I am testing/benchmarking codes between polybori and Singular.

In polybori (via phyton) i use the follow code to get calculation time:
Code:
a=time.time();
groebner_basis([p1,p2,p3]);
print time.time()-a;

and i get in the output: 0.000234 for example. This result is ok.

In Singular i use:
Code:
int t=0;
timer=0;
system("--ticks-per-sec","10000");
t=timer;
ideal BASE=slimgb([p1,p2,p3]);
print(timer-t);

and i get: 100, sometimes 200, sometimes 0 .......

How could I get a higher accuracy in reading?
What is the greatest precision?


Thank you very much.
Best regards.
Post Posted: Wed Sep 22, 2010 2:28 pm


It is currently Fri May 13, 2022 11:07 am
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group