Changeset 48ca29 in git for libpolys/polys/monomials

Timestamp:

May 30, 2012, 10:03:13 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

cc7180ed9409923477370909b14bca995904b313

Parents:

010b3f834f90fe0815d115c4a3a4c6934a96ac81

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-05-30 22:03:13+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-07-17 21:33:54+02:00

Message:

add: doxygen description

File:

• libpolys/polys/monomials/p_polys.h (modified) (1 diff)

libpolys/polys/monomials/p_polys.h

@@ -1571 +1571 @@
  *
  ***************************************************************/
-// return: FALSE, if there exists i, such that a->exp[i] > b->exp[i]
-//         TRUE, otherwise
-// (1) Consider long vars, instead of single exponents
-// (2) Clearly, if la > lb, then FALSE
-// (3) Suppose la <= lb, and consider first bits of single exponents in l:
-//     if TRUE, then value of these bits is la ^ lb
-//     if FALSE, then la-lb causes an "overflow" into one of those bits, i.e.,
-//               la ^ lb != la - lb
+/// return: FALSE, if there exists i, such that a->exp[i] > b->exp[i]
+///         TRUE, otherwise
+/// (1) Consider long vars, instead of single exponents
+/// (2) Clearly, if la > lb, then FALSE
+/// (3) Suppose la <= lb, and consider first bits of single exponents in l:
+///     if TRUE, then value of these bits is la ^ lb
+///     if FALSE, then la-lb causes an "overflow" into one of those bits, i.e.,
+///               la ^ lb != la - lb
 static inline BOOLEAN _p_LmDivisibleByNoComp(poly a, poly b, const ring r)
 {