Changeset 66805e in git for kernel/GBEngine/kutil.cc

Timestamp:

Feb 5, 2021, 3:43:06 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'd0474371d8c5d8068ab70bfb42719c97936b18a6')

Children:

17bc740f922270721b5e3d90af6f93dfd834b750

Parents:

7168f8f72f660f61d19b905f97c149ecf0cb9490

Message:

fix: assume for idLift

File:

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

kernel/GBEngine/kutil.cc

@@ -2258 +2258 @@
   assume(ALLOW_PROD_CRIT(strat));
   assume(!rIsPluralRing(currRing));
-  assume(strat->syzComp==1);
   assume(i<=strat->sl);
 
@@ -10013 +10012 @@
   }
 #endif
-  if (TEST_OPT_IDLIFT  /* i.e. also strat->syzComp==1 */
+  if (TEST_OPT_IDLIFT
   && (!rIsPluralRing(currRing)))
     strat->enterOnePair=enterOnePairLift;