Changeset 599254 in git

Timestamp:

Mar 17, 2015, 5:40:11 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

2f3b2753bc2be6d7396f61b99d46ba1977c9388d

Parents:

d0c8e411af9cf4e4fed3b39ea910f573b418a243

Message:

moved test out of loop (cancelunit)

File:

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

kernel/GBEngine/kutil.cc

@@ -397 +397 @@
       i++;
       if (p_GetExp(p,i,r) > p_GetExp(h,i,r)) return ; // does not divide
-      #ifdef HAVE_RINGS
-      // Note: As long as qring j forbidden if j contains integer (i.e. ground rings are
-      //       domains), no zerodivisor test needed  CAUTION
-      if (rField_is_Ring(r) /*&&(rHasLocalOrMixedOrdering(r)) */)
-        if(n_DivBy(pGetCoeff(h),lc,r->cf) == 0)
-          return;
-      #endif
       if (i == r->N) break; // does divide, try next monom
     }
+    //wrp(p); PrintS(" divide ");wrp(h); PrintLn();
+    #ifdef HAVE_RINGS
+    // Note: As long as qring j forbidden if j contains integer (i.e. ground rings are
+    //       domains), no zerodivisor test needed  CAUTION
+    if (rField_is_Ring(r) /*&&(rHasLocalOrMixedOrdering(r)) */)
+      if(n_DivBy(pGetCoeff(h),lc,r->cf) == 0)
+        return;
+    #endif
     pIter(h);
   }