Changeset c1fdb3 in git

Timestamp:

Jun 6, 2018, 3:53:53 PM (6 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

4896327508c25dcc4df7f6b6bfff8622728fb512

Parents:

6762a65369cd0f5360fcace6708a983889b21d71

Message:

Fix bug

File:

• kernel/GBEngine/kspoly.cc (modified) (2 diffs)

kernel/GBEngine/kspoly.cc

@@ -895 +895 @@
   if (tailRing->isLPring) {
     // get m2*a2*m22 - m1*a1*m12
-    Pair->Tail_Minus_mm_Mult_qq(m1, tailRing->p_Procs->p_Mult_mm(a1, m12, tailRing), l1, spNoether);
+    Pair->Tail_Minus_mm_Mult_qq(m1, tailRing->p_Procs->pp_Mult_mm(a1, m12, tailRing), l1, spNoether);
   } else {
     // get m2*a2 - m1*a1
@@ -907 +907 @@
     p_LmDelete(m12, tailRing);
     p_LmDelete(m22, tailRing);
+    // m2 is already deleted
   }