Home
last modified time | relevance | path

Searched refs:submod (Results 1 - 4 of 4) sorted by relevance

/third_party/python/Modules/_decimal/libmpdec/
H A Ddifradix2.c108 v0 = submod(u0, v0, umod); in fnt_dif2()
111 v1 = submod(u1, v1, umod); in fnt_dif2()
135 v0 = submod(u0, v0, umod); in fnt_dif2()
138 v1 = submod(u1, v1, umod); in fnt_dif2()
157 v0 = submod(u0, v0, umod); in fnt_dif2()
160 v1 = submod(u1, v1, umod); in fnt_dif2()
H A Dumodarith.h66 * ACL2 proof: umodarith.lisp: submod-2-correct
69 submod(mpd_uint_t a, mpd_uint_t b, mpd_uint_t m) in submod() function
81 * ACL2 proof: umodarith.lisp: section ext-submod
116 * ACL2 proof: umodarith.lisp: section dw-submod
/third_party/python/Lib/
H A Dmodulefinder.py260 submod = self.import_module(sub, subname, m)
261 if not submod:
/third_party/python/Modules/_decimal/libmpdec/literature/
H A Dumodarith.lisp141 ;; addmod, submod
161 (defun submod (a b m base) function
166 (defthmd submod-aux1
173 (defthmd submod-aux2
180 (defthmd submod-correct
185 (equal (submod a b m base)
188 ("Subgoal 2.2" :use ((:instance submod-aux1)))
191 ("Subgoal 2.1" :use ((:instance submod-aux2)))
192 ("Subgoal 1.2" :use ((:instance submod-aux1)))
193 ("Subgoal 1.1" :use ((:instance submod
[all...]

Completed in 3 milliseconds