Changeset 59b7cd in git

Timestamp:

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

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

f7851f7b2b79581f8563f53d8ff3ea7f7e50ad11

Parents:

cee69a8e6052ca2f198abe66c68a094273a679f0

Message:

Apply changes from Hans

Files:

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

kernel/GBEngine/kstd1.cc

@@ -2595 +2595 @@
   if (h==testHomog)
   {
-    if (delete_w)
-    {
-      temp_w=new intvec((strat->ak)+1);
-      w = &temp_w;
-    }
     if (strat->ak == 0)
     {

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

libpolys/coeffs/longrat.cc

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