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


Ignore:
Timestamp:
Feb 5, 2021, 3:43:06 PM (3 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '3a4bc649f1d0185cc9f8b122bd75f21f75ac9c9a')
Children:
17bc740f922270721b5e3d90af6f93dfd834b750
Parents:
7168f8f72f660f61d19b905f97c149ecf0cb9490
Message:
fix: assume for idLift
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/GBEngine/kutil.cc

    r7168f8 r66805e  
    22582258  assume(ALLOW_PROD_CRIT(strat));
    22592259  assume(!rIsPluralRing(currRing));
    2260   assume(strat->syzComp==1);
    22612260  assume(i<=strat->sl);
    22622261
     
    1001310012  }
    1001410013#endif
    10015   if (TEST_OPT_IDLIFT  /* i.e. also strat->syzComp==1 */
     10014  if (TEST_OPT_IDLIFT
    1001610015  && (!rIsPluralRing(currRing)))
    1001710016    strat->enterOnePair=enterOnePairLift;
Note: See TracChangeset for help on using the changeset viewer.