Changeset 88f386c in git

Timestamp:

Jul 29, 2018, 10:07:08 PM (5 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

85d7d333234b16c76e1eca63a87f3ab727763f92

Parents:

5676fd99d0794f1da7107c0a1d9df72f9dcdf5bd

Message:

Fix segfault with coeffs

File:

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

kernel/GBEngine/kspoly.cc

@@ -136 +136 @@
     int ct = ksCheckCoeff(&an, &bn, tailRing->cf);    // Calculate special LC
     p_SetCoeff(lm, bn, tailRing);
+    if (tailRing->isLPring) pSetCoeff0(p1, bn); // lm doesn't point to p1 anymore, if the coef was a pointer, it has been deleted
     if ((ct == 0) || (ct == 2))
       PR->Tail_Mult_nn(an);
@@ -256 +257 @@
     int ct = ksCheckCoeff(&an, &bn, tailRing->cf);    // Calculate special LC
     p_SetCoeff(lm, bn, tailRing);
+    if (tailRing->isLPring) pSetCoeff0(p1, bn); // lm doesn't point to p1 anymore, if the coef was a pointer, it has been deleted
     if ((ct == 0) || (ct == 2))
       PR->Tail_Mult_nn(an);
@@ -457 +459 @@
     int ct = ksCheckCoeff(&an, &bn, tailRing->cf);    // Calculate special LC
     p_SetCoeff(lm, bn, tailRing);
+    if (tailRing->isLPring) pSetCoeff0(p1, bn); // lm doesn't point to p1 anymore, if the coef was a pointer, it has been deleted
     if ((ct == 0) || (ct == 2))
       PR->Tail_Mult_nn(an);
@@ -688 +691 @@
   {
     p_SetCoeff(lm, nDiv(pGetCoeff(lm),pGetCoeff(p2)), tailRing);
+    if (tailRing->isLPring) pSetCoeff0(p1, pGetCoeff(lm)); // lm doesn't point to p1 anymore, if the coef was a pointer, it has been deleted
     if (coef != NULL) *coef = n_Init(1, tailRing->cf);
   }
@@ -698 +702 @@
       int ct = ksCheckCoeff(&an, &bn, tailRing->cf);    // Calculate special LC
       p_SetCoeff(lm, bn, tailRing);
+      if (tailRing->isLPring) pSetCoeff0(p1, bn); // lm doesn't point to p1 anymore, if the coef was a pointer, it has been deleted
       if (((ct == 0) || (ct == 2)))
         PR->Tail_Mult_nn(an);