Changeset 22d119e in git

Timestamp:

Jul 7, 2015, 12:56:45 PM (8 years ago)

Author:

Adi Popescu <adi_popescum@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

6d11d24961ab342e357f6f0a5ffaea867ce8d7a3

Parents:

535b07c51c4857086edba1903d2b9e2d4d023455

Message:

fix: redRing

File:

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

kernel/GBEngine/kstd2.cc

@@ -425 +425 @@
   loop
   {
-    j = kFindDivisibleByInT(strat, h);
-    if (j < 0) return 1;
+    j = kFindDivisibleByInT(strat->T, strat->sevT, strat->tl, h);
+    if (j < 0) 
+    {
+        // over ZZ: cleanup coefficients by complete reduction with monomials
+        postReduceByMon(h, strat);
+        if(nIsZero(pGetCoeff(h->p))) return 2;
+        j = kFindDivisibleByInT(strat->T, strat->sevT, strat->tl, h);
+        if(j < 0)
+        {
+          if(strat->tl >= 0)
+              h->i_r1 = strat->tl;
+          else
+              h->i_r1 = -1;
+          if (h->GetLmTailRing() == NULL)
+          {
+            if (h->lcm!=NULL) pLmDelete(h->lcm);
+            h->Clear();
+            return 0;
+          }
+          return 1;
+        }
+    }
+    #if ADIDEBUG
+    pWrite(h->p);
+    printf("\nFound j = %i\n",j);pWrite(strat->T[j].p);
+    #endif
     ksReducePoly(h, &(strat->T[j]), NULL, NULL, strat); // with debug output
+    #if ADIDEBUG
+    printf("\nand after reduce: \n");pWrite(h->p);
+    #endif
 
     if (h->GetLmTailRing() == NULL)