Changeset 31b00db in git for kernel/kspoly.cc

Timestamp:

Dec 18, 2013, 9:23:30 AM (9 years ago)

Author:

Christian Eder

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

6e3023af87cd7303404f428f8b9a5e633065747b

Parents:

d08a3a399eb7febd54a0044f3ad1ca3db14cd61c

Message:

fixes sba tail sreductions for char =/= prime

File:

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

kernel/kspoly.cc

@@ -225 +225 @@
     poly ftmp;
     ring rtmp;
-    PR->GetLm(ftmp,rtmp);
-    poly f1 = k_LmInit_tailRing_2_currRing(ftmp,rtmp);
+    PR->SetLmCurrRing();
+    poly f1 = pCopy(PR->GetLmCurrRing());
+    //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