Changeset b085fba in git for kernel/kInline.h

Timestamp:

Nov 25, 2013, 9:15:32 AM (9 years ago)

Author:

Christian Eder

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

576f5bba463748c5f51eebf368f6184847882508

Parents:

f59aaade492b9527e048de83ffcb97228e48208b

git-author:

Christian Eder <ederc@mathematik.uni-kl.de>2013-11-25 09:15:32+01:00

git-committer:

Christian Eder <ederc@mathematik.uni-kl.de>2013-12-12 13:51:25+01:00

Message:

adds experimental sba tailred (disabled by default)

File:

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

kernel/kInline.h

@@ -1074 +1074 @@
 }
 
+KINLINE int ksReducePolyTailSig(LObject* PR, TObject* PW, LObject* Red)
+{
+  BOOLEAN ret;
+  number coef;
+
+  assume(PR->GetLmCurrRing() != PW->GetLmCurrRing());
+  Red->HeadNormalize();
+  printf("------------------------\n");
+  pWrite(Red->GetLmCurrRing());
+  ret = ksReducePolySig(Red, PW, 1, NULL, &coef);
+  if (ret == 3) {
+    pWrite(Red->GetLmCurrRing());
+    printf("not sig-safe\n");
+    printf("------------------------\n");
+  }
+  if (!ret)
+  {
+    if (! n_IsOne(coef, currRing->cf))
+    {
+      PR->Mult_nn(coef);
+      // HANNES: mark for Normalize
+    }
+    n_Delete(&coef, currRing->cf);
+  }
+  return ret;
+}
+
 /***************************************************************
  *