Changeset 9a4aed in git for libpolys/polys

Timestamp:

Oct 20, 2022, 3:22:05 PM (19 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

067348e6930401f2a0a341c37c3d316a5b3da586

Parents:

6469c282bedf5898b267f26f0af5ad47b00729aa

Message:

fix: debug stuff p_LmDivisble...

File:

• libpolys/polys/pDebug.cc (modified) (1 diff)

libpolys/polys/pDebug.cc

@@ -359 +359 @@
 #endif // PDEBUG
 
-#if defined(PDEBUG) || defined(PDIV_DEBUG)
-STATIC_VAR unsigned long pDivisibleBy_number = 1;
-STATIC_VAR unsigned long pDivisibleBy_FALSE = 1;
-STATIC_VAR unsigned long pDivisibleBy_ShortFalse = 1;
-
-BOOLEAN pDebugLmShortDivisibleBy(poly p1, unsigned long sev_1, ring r_1,
-                               poly p2, unsigned long not_sev_2, ring r_2)
-{
-  _pPolyAssume(p_GetShortExpVector(p1, r_1) == sev_1, p1, r_1);
-  _pPolyAssume(p_GetShortExpVector(p2, r_2) == ~ not_sev_2, p2, r_2);
-
-  pDivisibleBy_number++;
-  BOOLEAN ret;
-  if (r_1 == r_2)
-    ret = p_LmDivisibleBy(p1, p2, r_1);
-  else
-    ret = p_LmDivisibleBy(p1, r_1, p2, r_2);
-
-  if (! ret) pDivisibleBy_FALSE++;
-  if (sev_1 & not_sev_2)
-  {
-    pDivisibleBy_ShortFalse++;
-    if (ret)
-      dReportError("p1 divides p2, but sev's are wrong");
-  }
-  return ret;
-}
-
-BOOLEAN pDebugLmShortDivisibleByNoComp(poly p1, unsigned long sev_1, ring r_1,
-                                       poly p2, unsigned long not_sev_2, ring r_2)
-{
-//  _pPolyAssume((p_GetComp(p1, r_1) == p_GetComp(p2, r_2)) || (p_GetComp(p1, r_1) == 0));
-  _pPolyAssume(p_GetShortExpVector(p1, r_1) == sev_1, p1, r_1);
-  _pPolyAssume(p_GetShortExpVector(p2, r_2) == ~ not_sev_2, p2, r_2);
-
-  pDivisibleBy_number++;
-  BOOLEAN ret;
-  if (r_1 == r_2)
-    ret = p_LmDivisibleByNoComp(p1, p2, r_1);
-  else
-    ret = p_LmDivisibleByNoComp(p1, r_1, p2, r_2);
-
-  if (! ret) pDivisibleBy_FALSE++;
-  if (sev_1 & not_sev_2)
-  {
-    pDivisibleBy_ShortFalse++;
-    if (ret)
-      dReportError("p1 divides p2, but sev's are wrong");
-  }
-  return ret;
-}
-
-void pPrintDivisbleByStat()
-{
-  Print("#Tests: %ld; #FALSE %ld(%ld); #SHORT %ld(%ld)\n",
-        pDivisibleBy_number,
-        pDivisibleBy_FALSE, (unsigned long) ((double)pDivisibleBy_FALSE*((double) 100)/(double)pDivisibleBy_number),
-        pDivisibleBy_ShortFalse, (unsigned long) ((double)pDivisibleBy_ShortFalse*((double)100)/(double)pDivisibleBy_FALSE));
-}
-
-#endif // PDEBUG
-
 #endif // PDEBUG_CC