Changeset ddebd7 in git

Timestamp:

Apr 19, 2021, 7:31:08 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

30e184b9f651e8205529c6336cd2f7c39e603699

Parents:

3cda50c00a849455efa2502e56596955491a353a

Message:

fix: handle currRing==tailRing in splitAt..

File:

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

kernel/GBEngine/kLiftstd.cc

@@ -40 +40 @@
 {
   poly p;
-  if (h->t_p==NULL) h->GetLmTailRing();
-  p=h->t_p;
-  if ((p==NULL) ||(p->next==NULL)) return NULL;
+  if (h->t_p==NULL)
+  {
+    if (currRing!=strat->tailRing)
+    {
+      h->t_p=k_LmInit_currRing_2_tailRing(h->p, strat->tailRing);
+      p=h->t_p;
+    }
+    else
+      p=h->p;
+  }
+  else
+    p=h->t_p;
+  if (p->next==NULL) return NULL;
   int ll=1;
   const ring tailRing=strat->tailRing;
@@ -68 +78 @@
   else
   { 
-    if (h->t_p!=NULL) h->GetLmTailRing();
-    p=h->t_p;
+    if (h->t_p==NULL)
+    {
+      if (currRing!=strat->tailRing)
+      {
+        h->t_p=k_LmInit_currRing_2_tailRing(h->p, strat->tailRing);
+        p=h->t_p;
+      }
+      else
+        p=h->p;
+    }
+    else
+      p=h->t_p;
   }
   const ring tailRing=strat->tailRing;