Changeset c6971d in git

Timestamp:

Jul 9, 2009, 2:28:31 PM (14 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'f6c3dc58b0df4bd712574325fe76d0626174ad97')

Children:

f0edfeefcdd0f9c131187bc82a9af8d0cb7c40df

Parents:

b14053699cd89db8efa9555fbd217a30294502cc

Message:

*hannes: min_time and timer_resolution


git-svn-id: file:///usr/local/Singular/svn/trunk@11970 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• kernel/timer.cc (modified) (2 diffs)

kernel/timer.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: timer.cc,v 1.9 2009-01-29 16:57:02 Singular Exp $ */
+/* $Id: timer.cc,v 1.10 2009-07-09 12:28:31 Singular Exp $ */
 
 /*
@@ -182 +182 @@
   double f =  ((double)curr) / (double)HZ;
 #endif
-  if (f > mintime)
+  if (f/timer_resolution > mintime)
   {
 #ifdef EXTEND_TIMER_D
-    Print("//%s %.2f sec (%d) >>%s<<\n" ,v ,f,iiOp,my_yylinebuf);
-#else
-    Print("//%s %.2f sec\n" ,v ,f);
+    Print("//%s %.2f/%d sec (%d) >>%s<<\n" ,v ,f,(int)timer_resolution,iiOp,my_yylinebuf);
+#else
+    if (timer_resolution==(double)1.0)
+      Print("//%s %.2f sec\n" ,v ,f);
+    else
+      Print("//%s %.2f/%d sec\n" ,v ,f,(int)timer_resolution);
 #endif
   }