Changeset 6469c2 in git

Timestamp:

Oct 20, 2022, 2:27:54 PM (18 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

9a4aedf54793e6eefea03c9c5d55bce8aa414bc8

Parents:

8e2c77abbebad1448e16255fa312493d9602f376

Message:

opt: remove p_LmDivisible.. with different rings

File:

• libpolys/polys/monomials/p_polys.h (modified) (4 diffs)

libpolys/polys/monomials/p_polys.h

@@ -1822 +1822 @@
   {
     if (p_GetExp(a,i,r_a) > p_GetExp(b,i,r_b))
+    {
       return FALSE;
+    }
     i--;
   }
@@ -1875 +1877 @@
   return FALSE;
 }
-static inline BOOLEAN _p_LmDivisibleBy(poly a, const ring r_a, poly b, const ring r_b)
-{
-  if (p_GetComp(a, r_a) == 0 || p_GetComp(a,r_a) == p_GetComp(b,r_b))
-    return _p_LmDivisibleByNoComp(a, r_a, b, r_b);
-  return FALSE;
-}
 static inline BOOLEAN p_LmDivisibleByNoComp(poly a, poly b, const ring r)
 {
@@ -1913 +1909 @@
   return FALSE;
 }
-static inline BOOLEAN p_DivisibleBy(poly a, const ring r_a, poly b, const ring r_b)
-{
-  pIfThen1(b!=NULL, p_LmCheckPolyRing1(b, r_b));
-  pIfThen1(a!=NULL, p_LmCheckPolyRing1(a, r_a));
-  if (a != NULL) {
-      return _p_LmDivisibleBy(a, r_a, b, r_b);
-  }
-  return FALSE;
-}
-static inline BOOLEAN p_LmDivisibleBy(poly a, const ring r_a, poly b, const ring r_b)
-{
-  p_LmCheckPolyRing(a, r_a);
-  p_LmCheckPolyRing(b, r_b);
-  return _p_LmDivisibleBy(a, r_a, b, r_b);
-}
 
 static inline BOOLEAN p_LmShortDivisibleBy(poly a, unsigned long sev_a,
@@ -1966 +1947 @@
 #else
   return pDebugLmShortDivisibleByNoComp(a, sev_a, r, b, not_sev_b, r);
-#endif
-}
-
-static inline BOOLEAN p_LmShortDivisibleBy(poly a, unsigned long sev_a, const ring r_a,
-                                      poly b, unsigned long not_sev_b, const ring r_b)
-{
-  p_LmCheckPolyRing1(a, r_a);
-  p_LmCheckPolyRing1(b, r_b);
-#ifndef PDIV_DEBUG
-  _pPolyAssume2(p_GetShortExpVector(a, r_a) == sev_a, a, r_a);
-  _pPolyAssume2(p_GetShortExpVector(b, r_b) == ~ not_sev_b, b, r_b);
-
-  if (sev_a & not_sev_b)
-  {
-    pAssume1(_p_LmDivisibleByNoComp(a, r_a, b, r_b) == FALSE);
-    return FALSE;
-  }
-  return _p_LmDivisibleBy(a, r_a, b, r_b);
-#else
-  return pDebugLmShortDivisibleBy(a, sev_a, r_a, b, not_sev_b, r_b);
 #endif
 }