/external/python/cpython3/Modules/_decimal/libmpdec/ |
fourstep.c | 54 s = addmod(s, *x2, umod); 55 s = addmod(s, *x3, umod); 64 s = addmod(s, tmp, umod); 68 s = addmod(s, tmp, umod); 77 s = addmod(s, tmp, umod); 81 s = addmod(s, tmp, umod); 99 s = addmod(s, *x2, umod); 100 s = addmod(s, *x3, umod); 109 s = addmod(s, tmp, umod); 113 s = addmod(s, tmp, umod) [all...] |
difradix2.c | 105 a[j] = addmod(u0, v0, umod); 108 a[j+1] = addmod(u1, v1, umod); 132 a[r] = addmod(u0, v0, umod); 135 a[m+r] = addmod(u1, v1, umod); 154 a[r+j] = addmod(u0, v0, umod); 157 a[m+r+j] = addmod(u1, v1, umod);
|
umodarith.h | 49 * ACL2 proof: umodarith.lisp: addmod-correct 52 addmod(mpd_uint_t a, mpd_uint_t b, mpd_uint_t m) function
|
/external/python/cpython3/Modules/_decimal/libmpdec/literature/ |
umodarith.lisp | 141 ;; addmod, submod 144 (defun addmod (a b m base) function 150 (defthmd addmod-correct 155 (equal (addmod a b m base)
|