Changeset 3d391f4 in git for kernel/GBEngine/kutil.cc

Timestamp:

Jan 30, 2020, 11:58:50 PM (4 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38dfc5131670d387a89455159ed1e071997eec94')

Children:

636fa5455e699fa8c0a820dd60e00a059f96f8efbbc88372fd4d9c3bc704e6afef375197fdd09810

Parents:

928d43353be8cce56dabc86bd3b35ebd48f1cdd0ed01f112cee60b9d71fdcff8400dab5c67a23882

Message:

Merge branch 'reduce_fix' into stable

File:

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

kernel/GBEngine/kutil.cc

@@ -9374 +9374 @@
 void enterSBbaShift (LObject &p,int atS,kStrategy strat, int atR)
 {
+  enterSBba(p, atS, strat, atR);
+
   int maxPossibleShift = p_mLPmaxPossibleShift(p.p, strat->tailRing);
   for (int i = maxPossibleShift; i > 0; i--)
   {
+
     LObject qq;
     qq.p = pLPCopyAndShiftLM(p.p, i); // don't use Set() because it'll test the poly order
     qq.shift = i;
     strat->initEcart(&qq); // initEcartBBA sets length, pLength, FDeg and ecart
+    int atS = posInS(strat, strat->sl, qq.p, qq.ecart); // S needs to stay sorted because this is for example assumed when searching S later
     enterSBba(qq, atS, strat, -1);
   }
-  enterSBba(p, atS, strat, atR);
 }
 #endif