Changeset 071393 in git

Timestamp:

Jun 2, 2021, 6:19:40 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

78ae45f623c4cdc864bf68e57785c2b116b0cded

Parents:

292b6572a45e1b64dfbf5fe30500439af95a5d51

Message:

improve liftStd via slimgb: remove syzygies if IDLIFT

File:

• kernel/GBEngine/tgb.cc (modified) (1 diff)

kernel/GBEngine/tgb.cc

@@ -2850 +2850 @@
     if(!h)
       continue;
+
+    if(TEST_OPT_IDLIFT
+    && p_GetComp(h, currRing) > c->syz_comp)
+    {
+      pDelete(&h);
+      continue;
+    }
+
     p[i] = h;
     i++;