Changeset e34d7f in git

Timestamp:

Oct 5, 2018, 12:31:18 PM (6 years ago)

Author:

Christian Eder

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

11b36d704be58048bca206935f1250f991b31fab

Parents:

a75fc358053e71da8efed299e30de63ea29f3c0f

git-author:

Christian Eder <ederc@mathematik.uni-kl.de>2018-10-05 12:31:18+02:00

git-committer:

Christian Eder <ederc@mathematik.uni-kl.de>2018-10-05 12:37:42+02:00

Message:

adds new tail reduction function when computing over Z

File:

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

kernel/GBEngine/kstd2.cc

@@ -2325 +2325 @@
       // therefore we call pCleardenom instead of pNorm
       strat->redTailChange=FALSE;
+
+      /* 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))
+        redtailBbaAlsoLC_Z(&(strat->P), strat->tl, strat);
       if ((TEST_OPT_INTSTRATEGY) || (rField_is_Ring(currRing)))
       {