Changeset 2f3b27 in git

Timestamp:

Mar 17, 2015, 6:28:17 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

4058df38c2114c692455481741dc4f1a8439e01bae8a3a4c90edf6e7b6274f88a45670efb2a36272

Parents:

59925415bf51fd0b461932853ec9a33407e76d3c

Message:

fix tr. #715 (rong ordering for redTail)

Location:

kernel/GBEngine

Files:

• kstd1.cc (modified) (1 diff)
• kutil.cc (modified) (1 diff)

kernel/GBEngine/kstd1.cc

@@ -1641 +1641 @@
       // tailreduction
       strat->P.p = redtail(&(strat->P),strat->sl,strat);
+      if (strat->P.p==NULL)
+      {
+        WerrorS("expoent overflow - wrong ordering");
+        return(idInit(1,1));
+      }
       // set ecart -- might have changed because of tail reductions
       if ((!strat->noTailReduction) && (!strat->honey))

kernel/GBEngine/kutil.cc

@@ -8232 +8232 @@
 BOOLEAN kStratChangeTailRing(kStrategy strat, LObject *L, TObject* T, unsigned long expbound)
 {
-  assume((strat->tailRing == currRing) || (strat->tailRing->bitmask < currRing->bitmask));
+  assume((strat->tailRing == currRing) || (strat->tailRing->bitmask <= currRing->bitmask));
   /* initial setup or extending */