Lines Matching refs:equal
49 (equal (mod x m)
55 (equal (mod (- x) m)
61 (equal (mod x m)
69 (equal (mod x m)
76 (equal (mod (+ (- m) b x) m)
83 (equal (mod (+ b x) m)
91 (equal (< x (mod (+ (- b) x) m))
100 (equal (< (mod x m)
108 (equal (<= b (mod (+ b x) m))
117 (equal (mod (+ b x) m)
126 (equal (+ (- m) (mod (+ b x) m))
136 (equal (mod (+ (mod (- x) m) b) m)
155 (equal (addmod a b m base)
185 (equal (submod a b m base)
206 (equal (submod-2 a b m base)
232 (defthmd ext-submod-ext-submod-2-equal
237 (equal (ext-submod a b m base)
245 (equal (ext-submod-2 a b m base)
263 (equal (dw-reduce hi lo m base)
269 (equal (<= x y)
297 (equal r1 (mod hi m)))
318 (natp x) (equal r (mod x m)))
319 (equal (mod (- a x) m)
328 (equal (dw-submod a hi lo m base)
395 (equal (* (expt 2 64) hi)
401 (equal (* (expt 2 64) hi)
407 (equal (* (expt 2 64) hi)
416 (equal (mod (+ x y) m)
422 (equal (mod (simple-mod-reduce-p1 hi lo) (p1))
433 (equal (mod (simple-mod-reduce-p2 hi lo) (p2))
444 (equal (mod (simple-mod-reduce-p3 hi lo) (p3))
570 ; The compiler friendly versions are equal to the simple versions
579 (equal (mod (+ b a) m)
589 (equal (+ m (mod (+ b a) m))
599 (equal (+ (- m) (mod (+ b a) m))
612 (equal (mod (+ b a) m)
620 (equal (mod-reduce-p1 hi lo)
646 (equal (mod-reduce-p2 hi lo)
671 (equal (mod-reduce-p3 hi lo)
