Changeset 3d752a in git for kernel/GBEngine/kutil.cc

Timestamp:

Jul 24, 2018, 3:51:18 PM (6 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

502cf86d0bb2a96715be6764774b64a69c1ca34c

Parents:

79d81e55c8fa0bafcf778605ad3ed28e8b9a1321

Message:

debug helper: kTst_T, kTest_L, _nlDelete_NoImm

File:

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

kernel/GBEngine/kutil.cc

@@ -768 +768 @@
     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)
   {
@@ -860 +872 @@
                 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)
   {