Changeset 2b691c in git

Timestamp:

Nov 29, 2013, 7:31:52 PM (10 years ago)

Author:

Christian Eder

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

1179b54c4bb1091a4f7935b8f70b688f002f7f1c

Parents:

493cf3df9a545e71fbaea9bb4666a5a156b6705d

git-author:

Christian Eder <ederc@mathematik.uni-kl.de>2013-11-29 19:31:52+01:00

git-committer:

Christian Eder <ederc@mathematik.uni-kl.de>2013-12-12 13:51:27+01:00

Message:

fixes overwrite procedure for generation of new syzygies

File:

• kernel/kstd2.cc (modified) (3 diffs)

kernel/kstd2.cc

@@ -2023 +2023 @@
       // enter into S, L, and T
       //if ((!TEST_OPT_IDLIFT) || (pGetComp(strat->P.p) <= strat->syzComp))
-      if(strat->sbaOrder == 0)
+      enterT(strat->P, strat);
+      strat->T[strat->tl].is_sigsafe = FALSE;
+#ifdef HAVE_RINGS
+      if (rField_is_Ring(currRing))
+        superenterpairs(strat->P.p,strat->sl,strat->P.ecart,pos,strat, strat->tl);
+      else
+#endif
+        enterpairsSig(strat->P.p,strat->P.sig,strat->sl+1,strat->sl,strat->P.ecart,pos,strat, strat->tl);
+      // posInS only depends on the leading term
+      strat->enterS(strat->P, pos, strat, strat->tl);
+      if(strat->sbaOrder != 1)
       {
         BOOLEAN overwrite = TRUE;
@@ -2082 +2092 @@
         }
       }
-      enterT(strat->P, strat);
-      strat->T[strat->tl].is_sigsafe = FALSE;
-#ifdef HAVE_RINGS
-      if (rField_is_Ring(currRing))
-        superenterpairs(strat->P.p,strat->sl,strat->P.ecart,pos,strat, strat->tl);
-      else
-#endif
-        enterpairsSig(strat->P.p,strat->P.sig,strat->sl+1,strat->sl,strat->P.ecart,pos,strat, strat->tl);
-      // posInS only depends on the leading term
-      strat->enterS(strat->P, pos, strat, strat->tl);
 //#if 1
 #if DEBUGF50
@@ -2271 +2271 @@
   printf("INTERREDUCTIONS:            %ld\n",sba_interreduction_steps);
 #endif
-#if SBA_PRINT_REDUCTION_OPERATIONS
+#if SBA_PRINT_OPERATIONS
   printf("INTERREDUCTION OPERATIONS:  %ld\n",sba_interreduction_operations);
 #endif