| /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)
|
