Changeset 48ca29 in git
 Timestamp:
 May 30, 2012, 10:03:13 PM (11 years ago)
 Branches:
 (u'jengelhdatetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
 Children:
 cc7180ed9409923477370909b14bca995904b313
 Parents:
 010b3f834f90fe0815d115c4a3a4c6934a96ac81
 gitauthor:
 Oleksandr Motsak <motsak@mathematik.unikl.de>20120530 22:03:13+02:00
 gitcommitter:
 Oleksandr Motsak <motsak@mathematik.unikl.de>20120717 21:33:54+02:00
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

libpolys/polys/monomials/p_polys.h
r010b3f r48ca29 1571 1571 * 1572 1572 ***************************************************************/ 1573 // return: FALSE, if there exists i, such that a>exp[i] > b>exp[i]1574 // TRUE, otherwise1575 // (1) Consider long vars, instead of single exponents1576 // (2) Clearly, if la > lb, then FALSE1577 // (3) Suppose la <= lb, and consider first bits of single exponents in l:1578 // if TRUE, then value of these bits is la ^ lb1579 // if FALSE, then lalb causes an "overflow" into one of those bits, i.e.,1580 // la ^ lb != la  lb1573 /// return: FALSE, if there exists i, such that a>exp[i] > b>exp[i] 1574 /// TRUE, otherwise 1575 /// (1) Consider long vars, instead of single exponents 1576 /// (2) Clearly, if la > lb, then FALSE 1577 /// (3) Suppose la <= lb, and consider first bits of single exponents in l: 1578 /// if TRUE, then value of these bits is la ^ lb 1579 /// if FALSE, then lalb causes an "overflow" into one of those bits, i.e., 1580 /// la ^ lb != la  lb 1581 1581 static inline BOOLEAN _p_LmDivisibleByNoComp(poly a, poly b, const ring r) 1582 1582 {
Note: See TracChangeset
for help on using the changeset viewer.