Changeset 0bb2274 in git for kernel

Timestamp:

Nov 29, 2019, 11:39:26 AM (4 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

4c740db8a56497af8a13d7d7ef781de902adb671

Parents:

8ae6241a27267554ff8052f72c024a7a4e281d45

Message:

improve liftstd, and tests

need to disable this for modulo, syz and *res (via OPT_REDTAIL_SYZ)
see Tst/BuchDl/Ex_L5.tst (modulo), Tst/New/modulo_homalg_full.tst (syz,nres)

Location:

kernel

Files:

• GBEngine/kstd2.cc (modified) (1 diff)
• ideals.cc (modified) (1 diff)

kernel/GBEngine/kstd2.cc

@@ -1861 +1861 @@
       }
     }
-    if (strat->syzComp > 0)
+    if ((strat->syzComp > 0)&&(!TEST_OPT_REDTAIL_SYZ))
     {
       if (h->p!=NULL)

kernel/ideals.cc

@@ -2325 +2325 @@
 
   idTest(s_temp);
+  unsigned save_opt=si_opt_1;
+  si_opt_1 |= Sy_bit(OPT_REDTAIL_SYZ);
   ideal s_temp1 = kStd(s_temp,currRing->qideal,hom,&wtmp,NULL,length);
+  si_opt_1=save_opt;
 
   //if (wtmp!=NULL)  Print("output weights:");wtmp->show(1);PrintLn();