Changeset d1b01e9 in git

Timestamp:

Dec 6, 2023, 5:04:39 PM (5 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

a719bcf0b8dbc648b128303a49777a094b57592c

Parents:

b2dde626e29049ee574d56706cc08ff3d7882be4

Message:

opt: interred

Location:

kernel/GBEngine

Files:

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

kernel/GBEngine/kstd1.cc

@@ -3850 +3850 @@
     null=idInit(1,1);
     if (need_retry)
-      res1=kNF(null,Q,res,0,KSTD_NF_LAZY);
+      res1=kNF(null,Q,res,0,KSTD_NF_LAZY | KSTD_NF_NONORM);
     else
       res1=kNF(null,Q,res);
@@ -3872 +3872 @@
     {
       if (need_retry)
-        res=kNF(null,Q,res1,0,KSTD_NF_LAZY);
+        res=kNF(null,Q,res1,0,KSTD_NF_LAZY | KSTD_NF_NONORM);
       else
         res=kNF(null,Q,res1);

kernel/GBEngine/kutil.cc

@@ -10378 +10378 @@
       #endif
       if (rHasGlobalOrdering(currRing))
-        strat->S[i] = redtailBba(&L, end_pos, strat, withT);
+        strat->S[i] = redtailBba(&L, end_pos, strat, withT,FALSE /*no normalize*/);
       else
         strat->S[i] = redtail(&L, strat->sl, strat);