Changeset 41aecf in git

Timestamp:

Jul 7, 2015, 2:01:54 PM (8 years ago)

Author:

Adi Popescu <adi_popescum@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

5ce55117cb44e8329794e5d1774b323ef206c8c5

Parents:

3d3ab7de4e431d41d91343651c4c8fde36d43d06

Message:

fix: enterOneStrongPoly

File:

• kernel/GBEngine/kutil.cc (modified) (1 diff)

kernel/GBEngine/kutil.cc

@@ -1683 +1683 @@
     posx = strat->posInL(strat->L,strat->Ll,&h,strat);
   h.sev = pGetShortExpVector(h.p);
+  h.i_r1 = -1;h.i_r2 = -1;
   if (currRing!=strat->tailRing)
-  {
-    if (h.t_p==NULL) /* may already been set by pLdeg() in initEcart */
-      h.t_p = k_LmInit_currRing_2_tailRing(h.p, strat->tailRing);
-  }
+    h.t_p = k_LmInit_currRing_2_tailRing(h.p, strat->tailRing);
+  #if 1
+  h.p1 = p;h.p2 = strat->S[i];
+  #endif
+  if (atR >= 0)
+    {
+      h.i_r2 = strat->S_2_R[i];
+      h.i_r1 = atR;
+    }
+    else
+    {
+      h.i_r1 = -1;
+      h.i_r2 = -1;
+    }
   enterL(&strat->L,&strat->Ll,&strat->Lmax,h,posx);
+  #if ADIDEBUG
+  printf("\nThis strong poly was added to L:\n");pWrite(h.p);pWrite(h.p1);pWrite(h.p2);printf("\ni_r1 = %i, i_r2 = %i\n",h.i_r1, h.i_r2);pWrite(strat->T[h.i_r1].p);pWrite(strat->T[h.i_r2].p);
+  #endif
   return TRUE;
 }