Changeset 5cc43c5 in git for kernel/GBEngine/kstd2.cc

Timestamp:

May 26, 2015, 4:56:29 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

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

Children:

29fde99886b3ba709327f47e123a1469a19c872d

Parents:

084714f46b3d9baa79ddf753497096e6409270a4

Message:

use return value of strat->s_poly

File:

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

kernel/GBEngine/kstd2.cc

@@ -1571 +1571 @@
       if (strat->s_poly!=NULL)
       {
-        strat->s_poly(strat);
+        if (strat->s_poly(strat))
+        {
+          // we are called AFTER enterS, i.e. if we change P
+          // we have it also to S/T
+          // and add pairs
+          int pos==posInS(strat,strat->sl,strat->P.p,strat->P.ecart);
+          enterT(strat->P, strat);
+          #ifdef HAVE_RINGS
+          if (rField_is_Ring(currRing))
+            superenterpairs(strat->P.p,strat->sl,strat->P.ecart,pos,strat, strat->tl);
+          else
+          #endif
+            enterpairs(strat->P.p,strat->sl,strat->P.ecart,pos,strat, strat->tl);
+          strat->enterS(strat->P, pos, strat, strat->tl);
+        }
       }