Changeset 9a4aed in git

Timestamp:

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

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'f875bbaccd0831e36aaed09ff6adeb3eb45aeb94')

Children:

067348e6930401f2a0a341c37c3d316a5b3da586

Parents:

6469c282bedf5898b267f26f0af5ad47b00729aa

Message:

fix: debug stuff p_LmDivisble...

Files:

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

Singular/extra.cc

@@ -2668 +2668 @@
       else
 #endif
-  /*==================== pDivStat =============================*/
-  #if defined(PDEBUG) || defined(PDIV_DEBUG)
-      if(strcmp(sys_cmd,"pDivStat")==0)
-      {
-        extern void pPrintDivisbleByStat();
-        pPrintDivisbleByStat();
-        return FALSE;
-      }
-      else
-  #endif
   /*==================== red =============================*/
   #if 0

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