Changeset 950a94 in git for kernel/GBEngine/kutil.cc

Timestamp:

Apr 5, 2021, 8:53:07 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'fc741b6502fd8a97288eaa3eba6e5220f3c3df87')

Children:

3b920ed3c3de324ec3518b5635feb03d0ab430ba4ad5cdee02a913f5a35346f60310f09d427a9e92ec35b06cd0d64d898912171ca267d9a5c53beee3

Parents:

03514358a007bf6bb923bc7b510ec15fb877158b68efee280d28d45c36fe198205a93c29e0641ea8

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2021-04-05 20:53:07+02:00

git-committer:

GitHub <noreply@github.com>2021-04-05 20:53:07+02:00

Message:

Merge pull request #1078 from mkoeppe/DEFAULT_CHECKING_PATH_refactor_flint_check

m4/flint-check.m4: Refactor

File:

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

kernel/GBEngine/kutil.cc

@@ -9455 +9455 @@
   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
+    // NOTE: don't use "shared tails" here. In rare cases it can cause problems
+    // in `kNF2` because of lazy poly normalizations.
+    LObject qq(p_Copy(p.p, strat->tailRing));
+    p_mLPshift(qq.p, i, strat->tailRing);
     qq.shift = i;
     strat->initEcart(&qq); // initEcartBBA sets length, pLength, FDeg and ecart