Changeset d2565e in git

Timestamp:

Oct 5, 2018, 10:43:53 AM (6 years ago)

Author:

Christian Eder

Branches:

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

Children:

6a90def7fff1b00098dfc583573c8d69900f6b36

Parents:

0d6b906b73a53bc8c2e154c4c951b319a70bcd8a

git-author:

Christian Eder <ederc@mathematik.uni-kl.de>2018-10-05 10:43:53+02:00

git-committer:

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

Message:

adds tail reducer for the cutting down the coefficients of tail terms when computing over Z

File:

• kernel/GBEngine/kInline.h (modified) (1 diff)

kernel/GBEngine/kInline.h

@@ -1025 +1025 @@
  *
  ***************************************************************/
+KINLINE int ksReducePolyTailLC_Z(LObject* PR, TObject* PW, LObject* Red)
+{
+  BOOLEAN ret;
+  number mult, rest;
+  TObject red = *PW;
+  red.Copy();
+  rest = n_QuotRem(pGetCoeff(Red->p), pGetCoeff(red.p),
+          &mult, currRing->cf);
+  red.Mult_nn(rest);
+
+  assume(PR->GetLmCurrRing() != red.GetLmCurrRing());
+  ret = ksReducePolyLC(Red, &red, NULL, &mult);
+  red.Delete();
+  red.Clear();
+
+  return ret;
+}
+
+KINLINE int ksReducePolyTail_Z(LObject* PR, TObject* PW, LObject* Red)
+{
+  BOOLEAN ret;
+  number coef;
+
+  assume(PR->GetLmCurrRing() != PW->GetLmCurrRing());
+  ret = ksReducePoly(Red, PW, NULL, &coef);
+
+  if (!ret)
+  {
+    if (! n_IsOne(coef, currRing->cf))
+    {
+      PR->Mult_nn(coef);
+      // HANNES: mark for Normalize
+    }
+    n_Delete(&coef, currRing->cf);
+  }
+  return ret;
+}
+
 KINLINE int ksReducePolyTail(LObject* PR, TObject* PW, LObject* Red)
 {