Changeset 0661780 in git

Timestamp:

Nov 18, 2022, 5:51:19 PM (3 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'ad2543eab51733612ba7d118afc77edca719600e')

Children:

deedf3d8f501628fbee217e6e83dcbe439b95645

Parents:

9a41ab03572f2614499d8f7a9066dd5e27cbf7ac

Message:

removed: kFindDivisibleByInS_T_noCF

File:

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

kernel/GBEngine/kutil.cc

@@ -6997 +6997 @@
     }
     #endif
-  }
-}
-
-TObject* kFindDivisibleByInS_T_noCF(kStrategy strat, int end_pos, LObject* L, TObject *T, long ecart)
-{
-  int j = 0;
-  const unsigned long not_sev = ~L->sev;
-  const unsigned long* sev = strat->sevS;
-  poly p;
-  ring r;
-  L->GetLm(p, r);
-
-  assume(~not_sev == p_GetShortExpVector(p, r));
-
-  if (r == currRing)
-  {
-    loop
-    {
-      if (j > end_pos) return NULL;
-  #if defined(PDEBUG) || defined(PDIV_DEBUG)
-      if (strat->S[j]!= NULL && p_LmShortDivisibleBy(strat->S[j], sev[j], p, not_sev, r) &&
-          (ecart== LONG_MAX || ecart>= strat->ecartS[j]))
-  #else
-      if (!(sev[j] & not_sev) &&
-          (ecart== LONG_MAX || ecart>= strat->ecartS[j]) &&
-          p_LmDivisibleBy(strat->S[j], p, r))
-  #endif
-      {
-          break;
-      }
-      j++;
-    }
-    // if called from NF, T objects do not exist:
-    if (strat->tl < 0 || strat->S_2_R[j] == -1)
-    {
-      T->Set(strat->S[j], r, strat->tailRing);
-      assume(T->GetpLength()==pLength(T->p != __null ? T->p : T->t_p));
-      return T;
-    }
-    else
-    {
-      return strat->S_2_T(j);
-    }
-  }
-  else
-  {
-    TObject* t;
-    loop
-    {
-      if (j > end_pos) return NULL;
-      assume(strat->S_2_R[j] != -1);
-  #if defined(PDEBUG) || defined(PDIV_DEBUG)
-      t = strat->S_2_T(j);
-      assume(t != NULL && t->t_p != NULL && t->tailRing == r);
-      if (p_LmShortDivisibleBy(t->t_p, sev[j], p, not_sev, r)
-      && (ecart== LONG_MAX || ecart>= strat->ecartS[j]))
-      {
-        t->pLength=pLength(t->t_p);
-        return t;
-      }
-  #else
-      if (! (sev[j] & not_sev)
-      && (ecart== LONG_MAX || ecart>= strat->ecartS[j]))
-      {
-        t = strat->S_2_T(j);
-        assume(t != NULL && t->t_p != NULL && t->tailRing == r && t->p == strat->S[j]);
-        if (p_LmDivisibleBy(t->t_p, p, r))
-        {
-          t->pLength=pLength(t->t_p);
-          return t;
-        }
-      }
-  #endif
-      j++;
-    }
   }
 }