Changeset 411e158 in git

Timestamp:

Jan 25, 2018, 3:22:45 PM (6 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

3d3ba49f60f1c8b46019e368ea585be912578904f78a8251a066a0c19419c5e042b6b5418a9961c0

Parents:

70d31a71492390ac65814d37e5f62b4e2348df78

Message:

fix: for freegb/shift algebra: force tailRing==currRing

Location:

kernel/GBEngine

Files:

• kstd1.cc (modified) (1 diff)
• kstd2.cc (modified) (2 diffs)

kernel/GBEngine/kstd1.cc

@@ -2787 +2787 @@
   {
     /* error: no local ord yet with shifts */
-    WerrorS("No local ordering possible for shifts");
+    WerrorS("No local ordering possible for shift algebra");
     return(NULL);
   }

kernel/GBEngine/kstd2.cc

@@ -4069 +4069 @@
 
 #ifdef HAVE_TAIL_RING
-  kStratInitChangeTailRing(strat);
+//  kStratInitChangeTailRing(strat);
+   strat->tailRing=currRing;
 #endif
 
@@ -4314 +4315 @@
       //      enterpairsShift(vw,strat->sl,strat->P.ecart,pos,strat, strat->tl,uptodeg,lV);
       // posInS only depends on the leading term
-      if ((strat->P.t_p!=NULL)&&(currRing!=strat->tailRing))
-      {
-        // move to currRing:
-        // need tp save t_p, as it is in also in T
-        pNext(strat->P.p)=strat->p_shallow_copy_delete(
-                            p_Copy(pNext(strat->P.p),strat->tailRing),
-                            strat->tailRing, currRing,
-                            currRing->PolyBin);
-        strat->P.t_p=NULL;
-      }
       strat->enterS(strat->P, pos, strat, atR);