Changeset 7d44dd in git

Timestamp:

Feb 2, 2017, 1:15:38 PM (6 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

97f6de6a93916b73681b340f749daec35ab96a72b7a600dbf47e619fa9c9d7f852021b2894df4489

Parents:

352a84b1691397c59edb46bfca0e4e237f6a1778

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2017-02-02 13:15:38+01:00

git-committer:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2017-02-02 13:17:17+01:00

Message:

fix: letterplace stuff: position in S_2_R

File:

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

kernel/GBEngine/kstd2.cc

@@ -4263 +4263 @@
       /*   strat->P.GetP(); */
       // because shifts are counted with .p structure // done before, but ?
+      int atR=strat->tl+1; // enterTShift introduces T[tl+1], T[tl+2]...
+                           // with T[tl+1]=P.p
       enterTShift(strat->P,strat,-1,uptodeg, lV);
-      enterpairsShift(strat->P.p,strat->sl,strat->P.ecart,pos,strat, strat->tl,uptodeg,lV);
+      enterpairsShift(strat->P.p,strat->sl,strat->P.ecart,pos,strat, atR,uptodeg,lV);
       //      enterpairsShift(vw,strat->sl,strat->P.ecart,pos,strat, strat->tl,uptodeg,lV);
       // posInS only depends on the leading term
-      strat->enterS(strat->P, pos, strat, strat->tl);
+      strat->enterS(strat->P, pos, strat, atR);
 
       if (hilb!=NULL) khCheck(Q,w,hilb,hilbeledeg,hilbcount,strat);