Changeset 85bcd6 in git for libpolys/polys/pDebug.cc
 Timestamp:
 Aug 1, 2012, 5:21:12 PM (11 years ago)
 Branches:
 (u'jengelhdatetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'c987db42cd2ec943b97ac5746c99892ceddf909c')
 Children:
 d828d633862fd9b6ec0e9f7b7e95dc3d610527d0fcb5bfd57f91ed4e8f9022cad3b9a32ee509c968
 Parents:
 6ce030f7be001f1ad6bba7026beec10e5beac410
 gitauthor:
 Oleksandr Motsak <motsak@mathematik.unikl.de>20120801 17:21:12+02:00
 gitcommitter:
 Oleksandr Motsak <motsak@mathematik.unikl.de>20120801 19:55:33+02:00
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

libpolys/polys/pDebug.cc
r6ce030f r85bcd6 347 347 static unsigned long pDivisibleBy_FALSE = 1; 348 348 static unsigned long pDivisibleBy_ShortFalse = 1; 349 349 350 BOOLEAN pDebugLmShortDivisibleBy(poly p1, unsigned long sev_1, ring r_1, 350 351 poly p2, unsigned long not_sev_2, ring r_2) … … 370 371 } 371 372 373 BOOLEAN 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 372 397 void pPrintDivisbleByStat() 373 398 {
Note: See TracChangeset
for help on using the changeset viewer.