Changeset c91ffe3 in git for kernel/kspoly.cc

Timestamp:

Nov 26, 2013, 4:51:40 PM (10 years ago)

Author:

Christian Eder

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

fbc7cbe8568c1e04d75cb6e5ddaceabc83c519e0

Parents:

576f5bba463748c5f51eebf368f6184847882508

git-author:

Christian Eder <ederc@mathematik.uni-kl.de>2013-11-26 16:51:40+01:00

git-committer:

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

Message:

fix for deep sba tail reduction

File:

• kernel/kspoly.cc (modified) (1 diff)

kernel/kspoly.cc

@@ -223 +223 @@
   if (!PW->is_sigsafe)
   {
+    PR->SetLmCurrRing();
+    //poly f1 = pCopy(PR->GetLmTailRing());   // p2 | p1
+    //poly f2 = PW->GetLmTailRing();   // i.e. will reduce p1 with p2; lm = LT(p1) / LM(p2)
     poly f1 = p_Copy(PR->GetLmCurrRing(),currRing);
     poly f2 = PW->GetLmCurrRing();