Changeset 74eafe in git

Timestamp:

Aug 23, 2016, 4:02:50 PM (7 years ago)

Author:

Andreas Steenpass <steenpass@…>

Branches:

(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')

Children:

5919a799e459e136540ea8fd2aa47140e794f72a

Parents:

836c32b3197962be95ef162f975a4a1adc2142c2

git-author:

Andreas Steenpass <steenpass@mathematik.uni-kl.de>2016-08-23 16:02:50+02:00

git-committer:

Andreas Steenpass <steenpass@mathematik.uni-kl.de>2017-12-15 12:17:07+01:00

Message:

chg: move IsDivisible

File:

• kernel/GBEngine/syz4.cc (modified) (2 diffs)

kernel/GBEngine/syz4.cc

@@ -327 +327 @@
 }
 
-bool IsDivisible(const CReducersHash_test *C, const poly product);
+bool IsDivisible(const CReducersHash_test *C, const poly product)
+{
+    CReducersHash_test::const_iterator m_itr
+        = C->find(p_GetComp(product, currRing));
+    if (m_itr == C->end()) {
+        return false;
+    }
+    TReducers_test::const_iterator m_current = (m_itr->second).begin();
+    TReducers_test::const_iterator m_finish  = (m_itr->second).end();
+    const unsigned long m_not_sev = ~p_GetShortExpVector(product, currRing);
+    for ( ; m_current != m_finish; ++m_current) {
+        if (p_LmShortDivisibleByNoComp((*m_current)->lt, (*m_current)->sev,
+            product, m_not_sev, currRing)) {
+            return true;
+        }
+    }
+    return false;
+}
+
 
 poly FindReducer(const poly multiplier, const poly t, const poly syzterm,
@@ -371 +389 @@
   p_LmFree(q, r);
   return NULL;
-}
-
-bool IsDivisible(const CReducersHash_test *C, const poly product)
-{
-    CReducersHash_test::const_iterator m_itr
-        = C->find(p_GetComp(product, currRing));
-    if (m_itr == C->end()) {
-        return false;
-    }
-    TReducers_test::const_iterator m_current = (m_itr->second).begin();
-    TReducers_test::const_iterator m_finish  = (m_itr->second).end();
-    const unsigned long m_not_sev = ~p_GetShortExpVector(product, currRing);
-    for ( ; m_current != m_finish; ++m_current) {
-        if (p_LmShortDivisibleByNoComp((*m_current)->lt, (*m_current)->sev,
-            product, m_not_sev, currRing)) {
-            return true;
-        }
-    }
-    return false;
 }