Changeset 088819 in git

Timestamp:

Nov 18, 2022, 5:33:04 PM (3 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'ad2543eab51733612ba7d118afc77edca719600e')

Children:

611e44bcd2cebe0cc0335a1014d84b8f0852c076

Parents:

6b9ca3fd3f47ded031acfb1b3a0e3af5be72b106

Message:

removed: posInLRing

Files:

• kernel/GBEngine/kutil.cc (modified) (2 diffs)
• kernel/GBEngine/kutil.h (modified) (1 diff)
• libpolys/polys/monomials/p_polys.h (modified) (4 diffs)

kernel/GBEngine/kutil.cc

@@ -5941 +5941 @@
             en = i;
        }
-    }
-  }
-}
-
-int posInLRing (const LSet set, const int length,
-               LObject* p,const kStrategy /*strat*/)
-{
-  if (length < 0) return 0;
-  if (set[length].FDeg > p->FDeg)
-        return length+1;
-  if (set[length].FDeg == p->FDeg)
-    if(set[length].GetpLength() > p->GetpLength())
-          return length+1;
-  int i;
-  int an = 0;
-  int en= length+1;
-  loop
-  {
-    if (an >= en-1)
-    {
-      if(an == en)
-        return en;
-      if (set[an].FDeg > p->FDeg)
-        return en;
-      if(set[an].FDeg == p->FDeg)
-      {
-        if(set[an].GetpLength() > p->GetpLength())
-          return en;
-        else
-        {
-          if(set[an].GetpLength() == p->GetpLength())
-          {
-            if(nGreater(set[an].p->coef, p->p->coef))
-              return en;
-            else
-              return an;
-          }
-          else
-          {
-            return an;
-          }
-        }
-      }
-      else
-        return an;
-    }
-    i=(an+en) / 2;
-    if (set[i].FDeg > p->FDeg)
-      an=i;
-    else
-    {
-      if(set[i].FDeg == p->FDeg)
-      {
-        if(set[i].GetpLength() > p->GetpLength())
-          an=i;
-        else
-        {
-          if(set[i].GetpLength() == p->GetpLength())
-          {
-            if(nGreater(set[i].p->coef, p->p->coef))
-              an = i;
-            else
-              en = i;
-          }
-          else
-          {
-            en=i;
-          }
-        }
-      }
-      else
-        en=i;
     }
   }
@@ -9960 +9888 @@
   #ifdef HAVE_RINGS
   ||  pos_in_l == posInL110Ring
-  ||  pos_in_l == posInLRing
   #endif
   )

kernel/GBEngine/kutil.h

@@ -462 +462 @@
 int posInLSigRing (const LSet set, const int length,
                LObject* L,const kStrategy strat);
-int posInLRing (const LSet set, const int length,
-               LObject* L,const kStrategy strat);
 int posInSyz (const kStrategy strat, const poly sig);
 int posInL0 (const LSet set, const int length,

libpolys/polys/monomials/p_polys.h

@@ -1668 +1668 @@
 #ifdef HAVE_RINGS
 // This is the equivalent of pLmCmp(p,q) != -currRing->OrdSgn for rings
-// It is used in posInLRing and posInTRing
+// It is used in posInTRing
 static inline int p_LtCmpOrdSgnDiffM(poly p, poly q, const ring r)
 {
@@ -1677 +1677 @@
 #ifdef HAVE_RINGS
 // This is the equivalent of pLmCmp(p,q) != currRing->OrdSgn for rings
-// It is used in posInLRing and posInTRing
+// It is used in posInTRing
 static inline int p_LtCmpOrdSgnDiffP(poly p, poly q, const ring r)
 {
@@ -1693 +1693 @@
 #ifdef HAVE_RINGS
 // This is the equivalent of pLmCmp(p,q) == -currRing->OrdSgn for rings
-// It is used in posInLRing and posInTRing
+// It is used in posInTRing
 static inline int p_LtCmpOrdSgnEqM(poly p, poly q, const ring r)
 {
@@ -1702 +1702 @@
 #ifdef HAVE_RINGS
 // This is the equivalent of pLmCmp(p,q) == currRing->OrdSgn for rings
-// It is used in posInLRing and posInTRing
+// It is used in posInTRing
 static inline int p_LtCmpOrdSgnEqP(poly p, poly q, const ring r)
 {