Changeset 530cc55 in git for kernel/GBEngine/kstd2.cc

Timestamp:

May 27, 2016, 10:45:01 AM (8 years ago)

Author:

Adi Popescu <adi_popescum@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

b61d85898290efdf5f9da1b651cffefa4abd25d2

Parents:

6402b559828c96b40e77a0755dbd3ba17ba2909a

Message:

added All vs Just Strategies

File:

• kernel/GBEngine/kstd2.cc (modified) (4 diffs)

kernel/GBEngine/kstd2.cc

@@ -2506 +2506 @@
       }
       p_Delete(&beforetailred,currRing);
+      // strat->P.p = NULL may appear if we had  a sigdrop above and reduced to 0 via redRing
+      if(strat->P.p == NULL)
+        goto case_when_red_result_changed;
       if(!nGreaterZero(pGetCoeff(strat->P.p)))
       {
@@ -2513 +2516 @@
     }
     #endif
-
     // remove sigsafe label since it is no longer valid for the next element to
     // be reduced
@@ -2748 +2750 @@
     else
     {
+      case_when_red_result_changed:
       // adds signature of the zero reduction to
       // strat->syz. This is the leading term of
@@ -3009 +3012 @@
   }
   #ifdef HAVE_RINGS
-  if(nCoeff_is_Ring_Z(currRing->cf))
-    finalReduceByMon(strat);
+  //if(nCoeff_is_Ring_Z(currRing->cf))
+  //  finalReduceByMon(strat);
   if(rField_is_Ring(currRing) && !strat->sigdrop)
   #endif