Changeset 194f799 in git

Timestamp:

Oct 16, 2018, 6:46:38 PM (6 years ago)

Author:

Christian Eder

Branches:

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

Children:

755d4163d05dffb48e492043762b72094cae96a8

Parents:

ac4ff44627a0ad9a31e74b7d6570da7144ff1389

Message:

adds check for local or mixed ordering when applying special redtail procedure for computation over the integers

File:

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

kernel/GBEngine/kstd2.cc

@@ -643 +643 @@
         ksReducePolyGCD(&h2, &(strat->T[j]), NULL, NULL, strat);
         postReduceByMon(&h2, strat);
-        redtailBbaAlsoLC_Z(&h2, j, strat);
+        if (!rHasLocalOrMixedOrdering(currRing))
+          redtailBbaAlsoLC_Z(&h2, j, strat);
         /* replace h2 for tj in L (already generated pairs with tj), S and T */
         replaceInLAndSAndT(h2, strat);
@@ -2327 +2328 @@
       /* if we are computing over Z we always want to try and cut down
        * the coefficients in the tail terms */
-      if (rField_is_Z(currRing))
+      if (rField_is_Z(currRing) && !rHasLocalOrMixedOrdering(currRing))
         redtailBbaAlsoLC_Z(&(strat->P), strat->tl, strat);
       if ((TEST_OPT_INTSTRATEGY) || (rField_is_Ring(currRing)))