Changeset 59b7cd in git for kernel/GBEngine/kutil.cc

Timestamp:

Jul 24, 2018, 3:55:16 PM (5 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'spielwiese', 'e7cc1ebecb61be8b9ca6c18016352af89940b21a')

Children:

f7851f7b2b79581f8563f53d8ff3ea7f7e50ad11

Parents:

cee69a8e6052ca2f198abe66c68a094273a679f0

Message:

Apply changes from Hans

File:

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

kernel/GBEngine/kutil.cc

@@ -771 +771 @@
     return dReportError("%c[%d].poly is NULL", TN, i);
 
+  if (T->p!=NULL)
+  {
+    nTest(pGetCoeff(T->p));
+    if ((T->t_p==NULL)&&(pNext(T->p)!=NULL)) p_Test(pNext(T->p),currRing);
+  }
+  if (T->t_p!=NULL)
+  {
+    nTest(pGetCoeff(T->t_p));
+    if (pNext(T->t_p)!=NULL) p_Test(pNext(T->t_p),strat_tailRing);
+  }
+  if ((T->p!=NULL)&&(T->t_p!=NULL)) assume(pGetCoeff(T->p)==pGetCoeff(T->t_p));
+
   if (T->tailRing != currRing)
   {
@@ -869 +881 @@
                 BOOLEAN testp, int lpos, TSet T, int tlength)
 {
+  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)
+  {
+    nTest(pGetCoeff(L->t_p));
+    if (pNext(L->t_p)!=NULL) p_Test(pNext(L->t_p),strat_tailRing);
+  }
+  if ((L->p!=NULL)&&(L->t_p!=NULL)) assume(pGetCoeff(L->p)==pGetCoeff(L->t_p));
   if (testp)
   {