Changeset 59b7cd in git for kernel

Timestamp:

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

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38077648e7239f98078663eb941c3c979511150a')

Children:

f7851f7b2b79581f8563f53d8ff3ea7f7e50ad11

Parents:

cee69a8e6052ca2f198abe66c68a094273a679f0

Message:

Apply changes from Hans

Location:

kernel/GBEngine

Files:

• kstd1.cc (modified) (1 diff)
• kutil.cc (modified) (2 diffs)

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