Changeset 6cc0f0 in git

Timestamp:

Aug 30, 2018, 10:47:17 PM (5 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'a719bcf0b8dbc648b128303a49777a094b57592c')

Children:

044eaecb1b883174f1e8a7fd340f1dbe3daf0b3822e96845dde53c6be044d3ea1bbb4d8c29599335c61d37d3e31531d61b55708c5af53001582ccdbccfce45f606f08b61ca799377f748c37069f669bf

Parents:

46db0814d770d7de29357aac459e015a60f8df24

Message:

fix: allow strat->tail in kTest_L

File:

• kernel/GBEngine/kutil.cc (modified) (1 diff)

kernel/GBEngine/kutil.cc

@@ -873 +873 @@
   if (L->p!=NULL)
   {
-    nTest(pGetCoeff(L->p));
-    if ((L->t_p==NULL)&&(pNext(L->p)!=NULL)) p_Test(pNext(L->p),currRing);
+    if ((L->t_p==NULL)
+    &&(pNext(L->p)!=NULL)
+    &&(pGetCoeff(pNext(L->p))!=NULL)) /* !=strat->tail*/
+    {
+      p_Test(pNext(L->p),currRing);
+      nTest(pGetCoeff(L->p));
+    }
   }
   if (L->t_p!=NULL)
   {
-    nTest(pGetCoeff(L->t_p));
-    if (pNext(L->t_p)!=NULL) p_Test(pNext(L->t_p),strat_tailRing);
+    if ((pNext(L->t_p)!=NULL)
+    &&(pGetCoeff(pNext(L->t_p))!=NULL)) /* !=strat->tail*/
+    {
+      p_Test(pNext(L->t_p),strat_tailRing);
+      nTest(pGetCoeff(L->t_p));
+    }
   }
   if ((L->p!=NULL)&&(L->t_p!=NULL)) assume(pGetCoeff(L->p)==pGetCoeff(L->t_p));