Changeset 80c072 in git

Timestamp:

Jun 2, 2015, 11:16:55 AM (8 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

22c3f2c3748d3c6aa16cfcf2ab75e3fd23da838d

Parents:

dd52bad670674af5262a9ad0f203b628a7a36a0e

Message:

optim. idLift(I,T): stop red as soon as L(p)>syzComp

File:

• kernel/GBEngine/kstd2.cc (modified) (2 diffs)

kernel/GBEngine/kstd2.cc

@@ -1125 +1125 @@
       return 0;
     }
+    if (TEST_OPT_IDLIFT)
+    {
+      if (h->p!=NULL)
+      {
+        if(p_GetComp(h->p,currRing)>strat->syzComp)
+        {
+          h->Delete();
+          return 0;
+        }
+      }
+      else if (h->t_p!=NULL)
+      {
+        if(p_GetComp(h->t_p,strat->tailRing)>strat->syzComp)
+        {
+          h->Delete();
+          return 0;
+        }
+      }
+    }
     h->SetShortExpVector();
     not_sev = ~ h->sev;
@@ -1475 +1494 @@
     if (strat->overflow)
     {
-        if (!kStratChangeTailRing(strat)) { Werror("OVERFLOW.."); break;}
+      if (!kStratChangeTailRing(strat)) { Werror("OVERFLOW.."); break;}
     }