Changeset dd24e5 in git for Singular/LIB/schreyer.lib

Timestamp:

Aug 1, 2012, 5:25:00 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '1d362c315e551a5b527ab0759f8839cf0e94f3a5')

Children:

495328d14a955b215ad10b598e995ab522243881

Parents:

026171e1f09fe373a5c6ea5ed0b8db1abeb952f3

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-08-01 17:25:00+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-05-07 04:41:46+02:00

Message:

separated FindReducer into a separate class CReducerFinder (m_div)

TODO: deal with m_LS via another CReducerFinder?

NOTE: this change resulted in some speedups esp. for Hybrid approach (see schreyer.lib)

File:

• Singular/LIB/schreyer.lib (modified) (3 diffs)

Singular/LIB/schreyer.lib

@@ -2349 +2349 @@
 
 
-proc testSimple()
-{
+proc testSimple(list #)
+{
+  def DEBUG = 0;
+  if(size(#) > 0) { DEBUG = #[1]; }
+
   system("--min-time", "1.0");
   system("--ticks-per-sec", 1);
 
   // TODO: only for now!!
-  attrib(SSinit, "DEBUG", 0); 
+  attrib(SSinit, "DEBUG", (DEBUG > 0)); 
   attrib(SSinit, "SYZCHECK", 1); 
   attrib(SSinit, "KERCHECK", 1); 
@@ -2471 +2474 @@
   TestSSresAttribs2tr(M);
 /*
-options:  1 1 0 :  Time:  10 (35 without LCM)
-options:  1 1 1 :  Time:  25
-lres  Time:  5/6
+options:  1 1 0 :  Time:  9/10 (35 without LCM)
+options:  1 1 1 :  Time:  8/25
+lres  Time:  5
 nres  Time:  5
 sres  Time:  693
@@ -2550 +2553 @@
   TestSSresAttribs2tr(M);
 /*
-options:  1 1 0 :  Time:  92 (316 without LCM)
-options:  1 1 1 :  Time:  202
-lres  Time:  27/28
-nres  Time:  21/23
+options:  1 1 0 :  Time:  73/92 (316 without LCM)
+options:  1 1 1 :  Time:  43/202
+lres  Time:  25
+nres  Time:  20
 sres  Time:  71
 */