Changeset 3d752a in git

Timestamp:

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

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

502cf86d0bb2a96715be6764774b64a69c1ca34c

Parents:

79d81e55c8fa0bafcf778605ad3ed28e8b9a1321

Message:

debug helper: kTst_T, kTest_L, _nlDelete_NoImm

Files:

• kernel/GBEngine/kutil.cc (modified) (2 diffs)
• libpolys/coeffs/longrat.cc (modified) (1 diff)

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)
   {

libpolys/coeffs/longrat.cc

@@ -1639 +1639 @@
 #endif
     }
+    #ifdef LDEBUG
+    memset(*a,0,sizeof(**a));
+    #endif
     FREE_RNUMBER(*a); // omFreeBin((void *) *a, rnumber_bin);
   }