Changeset 3dc79f5 in git

Timestamp:

Mar 22, 2011, 6:51:38 PM (12 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

e915737ec03361ff5ed24f64af5ef7a643d1c434

Parents:

fd1b0f2e9e097faef7d6563aeb22798d790e146e

Message:

fix tr. 328

git-svn-id: file:///usr/local/Singular/svn/trunk@14037 2c84dea3-7e68-4137-9b89-c4e89433aadc

Location:

kernel

Files:

• kstd2.cc (modified) (1 diff)
• kutil.cc (modified) (3 diffs)

kernel/kstd2.cc

@@ -1124 +1124 @@
       // get the polynomial (canonicalize bucket, make sure P.p is set)
       strat->P.GetP(strat->lmBin);
+      // in the homogeneous case FDeg >= pFDeg (sugar/honey)
+      // but now, for entering S, T, we reset it
+      // in the inhomogeneous case: FDeg == pFDeg
+      if (strat->homog) strat->initEcart(&(strat->P));
 
       /* statistic */

kernel/kutil.cc

@@ -692 +692 @@
   }
 
-  if (i >= 0 && T->pLength != 0 
+  if (i >= 0 && T->pLength != 0
   && ! rIsSyzIndexRing(currRing) && T->pLength != pLength(p))
   {
@@ -5439 +5439 @@
         h.sev = strat->sevS[i];
         /*puts the elements of S also to T*/
+        strat->initEcart(&h);
         enterT(h,strat);
         strat->S_2_R[i] = strat->tl;
@@ -6267 +6268 @@
                                   (strat->homog && pFDeg == pDeg), // omit_degree
 #endif
-                                  (strat->ak==0), // omit_comp if the input is an ideal 
+                                  (strat->ak==0), // omit_comp if the input is an ideal
                                   expbound); // exp_limit