Changeset 70d31a in git

Timestamp:

Jan 25, 2018, 3:03:49 PM (6 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

411e158b3db1df485b1277ea7b28b2cbd30d8a24

Parents:

d8e160cf22e3ab1ebcde894e878977e29f2d605c

Message:

fix: allow currRing==tailRing in cleanT

File:

• kernel/GBEngine/kutil.cc (modified) (3 diffs)

kernel/GBEngine/kutil.cc

@@ -588 +588 @@
         if (strat->T[j].t_p != NULL)
         {
-          assume(p_shallow_copy_delete != NULL);
-          pNext(p) = p_shallow_copy_delete(pNext(p),strat->tailRing,currRing,
+          if (p_shallow_copy_delete!=NULL)
+          {
+            pNext(p) = p_shallow_copy_delete(pNext(p),strat->tailRing,currRing,
                                            currRing->PolyBin);
+          }
           p_LmFree(strat->T[j].t_p, strat->tailRing);
         }
@@ -7635 +7637 @@
         if (j < 0) break;
         With = &(strat->T[j]);
-        assume(With->GetpLength()==pLength(With->p != __null ? With->p : With->t_p));
+        assume(With->GetpLength()==pLength(With->p != __null ? With->p : With->t_p));
       }
       else
@@ -7641 +7643 @@
         With = kFindDivisibleByInS_T(strat, end_pos, &Ln, &With_s);
         if (With == NULL) break;
-        assume(With->GetpLength()==pLength(With->p != __null ? With->p : With->t_p));
+        assume(With->GetpLength()==pLength(With->p != __null ? With->p : With->t_p));
       }
       cnt--;