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


Ignore:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • libpolys/polys/pDebug.cc

    r6ce030f r85bcd6  
    347347static unsigned long pDivisibleBy_FALSE = 1;
    348348static unsigned long pDivisibleBy_ShortFalse = 1;
     349
    349350BOOLEAN pDebugLmShortDivisibleBy(poly p1, unsigned long sev_1, ring r_1,
    350351                               poly p2, unsigned long not_sev_2, ring r_2)
     
    370371}
    371372
     373BOOLEAN pDebugLmShortDivisibleByNoComp(poly p1, unsigned long sev_1, ring r_1,
     374                                       poly p2, unsigned long not_sev_2, ring r_2)
     375{
     376//  _pPolyAssume((p_GetComp(p1, r_1) == p_GetComp(p2, r_2)) || (p_GetComp(p1, r_1) == 0));
     377  _pPolyAssume(p_GetShortExpVector(p1, r_1) == sev_1, p1, r_1);
     378  _pPolyAssume(p_GetShortExpVector(p2, r_2) == ~ not_sev_2, p2, r_2);
     379
     380  pDivisibleBy_number++;
     381  BOOLEAN ret;
     382  if (r_1 == r_2)
     383    ret = p_LmDivisibleByNoComp(p1, p2, r_1);
     384  else
     385    ret = p_LmDivisibleByNoComp(p1, r_1, p2, r_2);
     386
     387  if (! ret) pDivisibleBy_FALSE++;
     388  if (sev_1 & not_sev_2)
     389  {
     390    pDivisibleBy_ShortFalse++;
     391    if (ret)
     392      dReportError("p1 divides p2, but sev's are wrong");
     393  }
     394  return ret;
     395}
     396
    372397void pPrintDivisbleByStat()
    373398{
Note: See TracChangeset for help on using the changeset viewer.