Changeset 85bcd6 in git for libpolys/polys/pDebug.cc

Timestamp:

Aug 1, 2012, 5:21:12 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'c987db42cd2ec943b97ac5746c99892ceddf909c')

Children:

d828d633862fd9b6ec0e9f7b7e95dc3d610527d0fcb5bfd57f91ed4e8f9022cad3b9a32ee509c968

Parents:

6ce030f7be001f1ad6bba7026beec10e5beac410

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-08-01 17:21:12+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-08-01 19:55:33+02:00

Message:

added p_LmShortDivisibleByNoComp by analogy

add: also needed pDebugLmShortDivisibleByNoComp and p_LmDivisibleByNoComp (with 2 rings) for completeness

File:

• libpolys/polys/pDebug.cc (modified) (2 diffs)

libpolys/polys/pDebug.cc

@@ -347 +347 @@
 static unsigned long pDivisibleBy_FALSE = 1;
 static 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)
@@ -370 +371 @@
 }
 
+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()
 {