Changeset 1d85ccd in git for libpolys/polys/monomials/p_polys.h

Timestamp:

Jul 7, 2015, 3:09:22 PM (8 years ago)

Author:

Adi Popescu <adi_popescum@…>

Branches:

(u'spielwiese', 'ec94ef7a30b928574c0c3daf41f6804dff5f6b69')

Children:

d0e703dc337d27819a1065c061abfc0f530c5204

Parents:

1c3860b85a769e98757cea4c9c523161e6ffc106

Message:

fix: changed pLmDivBy to test just the lm (not LT)

File:

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

libpolys/polys/monomials/p_polys.h

@@ -1583 +1583 @@
     while (i>=0);
   }
-#ifdef HAVE_RINGS
+/*#ifdef HAVE_RINGS
   pDivAssume(p_DebugLmDivisibleByNoComp(a, b, r) == n_DivBy(p_GetCoeff(b, r), p_GetCoeff(a, r), r->cf));
   return (!rField_is_Ring(r)) || n_DivBy(p_GetCoeff(b, r), p_GetCoeff(a, r), r->cf);
 #else
+*/
   pDivAssume(p_DebugLmDivisibleByNoComp(a, b, r) == TRUE);
   return TRUE;
-#endif
+//#endif
 }
 
@@ -1604 +1605 @@
   }
   while (i);
-#ifdef HAVE_RINGS
+/*#ifdef HAVE_RINGS
   return n_DivBy(p_GetCoeff(b, r_b), p_GetCoeff(a, r_a), r_a->cf);
 #else
+*/
   return TRUE;
-#endif
+//#endif
 }
 
@@ -1624 +1626 @@
   }
   while (i>=start);
-#ifdef HAVE_RINGS
+/*#ifdef HAVE_RINGS
   return n_DivBy(p_GetCoeff(b, r_b), p_GetCoeff(a, r_a), r_a->cf);
 #else
+*/
   return TRUE;
-#endif
+//#endif
 }
 static inline BOOLEAN _p_LmDivisibleByPart(poly a, const ring r_a, poly b, const ring r_b,const int start, const int end)