Changeset f1cef21 in git for kernel

Timestamp:

Nov 28, 2013, 3:43:44 PM (9 years ago)

Author:

Christian Eder

Branches:

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

Children:

f3e25c24fb9167335fed07b0b1d94ea513423a4b

Parents:

fbc7cbe8568c1e04d75cb6e5ddaceabc83c519e0

git-author:

Christian Eder <ederc@mathematik.uni-kl.de>2013-11-28 15:43:44+01:00

git-committer:

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

Message:

fixes sba tail reduction
=> enabled by default
=> speed-up

Location:

kernel

Files:

• kspoly.cc (modified) (1 diff)
• kstd2.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 ftmp;
+    ring rtmp;
+    PR->GetLm(ftmp,rtmp);
+    poly f1 = k_LmInit_tailRing_2_currRing(ftmp,rtmp);
     poly f2 = PW->GetLmCurrRing();
     poly sigMult = pCopy(PW->sig);   // copy signature of reducer

kernel/kstd2.cc

@@ -53 +53 @@
 #endif
 
-#define SBA_TAIL_RED                        0
+#define SBA_TAIL_RED                        1
 #define SBA_PRODUCT_CRITERION               0
 #define SBA_PRINT_ZERO_REDUCTIONS           1