Changeset 66805e in git

Timestamp:

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

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a657104b677b4c461d018cbf3204d72d34ad66a9')

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;