| /dports/math/mpir/mpir-3.0.0/tests/mpz/ |
| H A D | reuse.c | 279 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
284 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
289 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
294 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
414 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in main()
420 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in main()
426 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in main()
432 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in main()
438 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in main()
444 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in main()
[all …]
|
| H A D | t-root.c | 88 if (mpz_cmp (root1, root3) != 0) in main()
109 if (mpz_cmp (root1, root3) != 0) in main()
123 if (mpz_cmp (root1, root2) != 0 || mpz_cmp (x2, temp2) != 0 in main()
124 || mpz_cmp (temp, x2) > 0) in main()
150 if (mpz_cmp (temp2, x2) <= 0) in main()
180 if (mpz_cmp (root1, root2) != 0) in main()
185 if (mpz_cmp (root2, root3) != 0) in main()
198 if (mpz_cmp (root3, rem2) != 0) in main()
219 if (mpz_cmp (root2, temp2) <= 0) in main()
247 if (mpz_cmp (temp2, temp) != 0) in main()
[all …]
|
| H A D | bit.c | 92 if (mpz_cmp (got, want) != 0) in check_clr_extend()
144 if (mpz_cmp (got, want) != 0) in check_com_negs()
330 if (mpz_cmp (s0, s1) == 0 || mpz_cmp (s0, s2) != 0 || mpz_cmp (s0, s3) == 0) in check_random()
335 if (mpz_cmp (s0, s1) != 0 || mpz_cmp (s0, s2) == 0 || mpz_cmp (s0, s3) != 0) in check_random()
339 if (mpz_cmp (s1, s2) == 0 || mpz_cmp (s1, s3) != 0) in check_random()
341 if (mpz_cmp (s2, s3) == 0) in check_random()
348 if (mpz_cmp (x, s3) != 0) in check_random()
355 if (mpz_cmp (x, s2) != 0) in check_random()
|
| /dports/math/gmp/gmp-6.2.1/mini-gmp/tests/ |
| H A D | t-reuse.c | 238 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in testmain()
245 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in testmain()
252 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in testmain()
259 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in testmain()
408 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
417 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
426 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
435 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
444 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
453 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
[all …]
|
| H A D | t-div.c | 87 if (mpz_cmp (r, rr) || mpz_cmp (q, rq)) in testmain()
100 if (mpz_cmp (q, rq)) in testmain()
111 if (mpz_cmp (r, rr)) in testmain()
138 if (mpz_cmp (r, rr)) in testmain()
152 if (mpz_cmp (r, rr)) in testmain()
171 || mpz_cmp (r, rr) || mpz_cmp (q, rq)) in testmain()
186 if (rl != mpz_get_ui (rr) || mpz_cmp (q, rq)) in testmain()
200 if (rl != mpz_get_ui (rr) || mpz_cmp (r, rr)) in testmain()
239 if (mpz_cmp (r, rr)) in testmain()
|
| /dports/math/gap/gap-4.11.0/extern/gmp/mini-gmp/tests/ |
| H A D | t-reuse.c | 238 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in testmain()
245 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in testmain()
252 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in testmain()
259 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in testmain()
408 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
417 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
426 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
435 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
444 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
453 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
[all …]
|
| H A D | t-div.c | 87 if (mpz_cmp (r, rr) || mpz_cmp (q, rq)) in testmain()
100 if (mpz_cmp (q, rq)) in testmain()
111 if (mpz_cmp (r, rr)) in testmain()
137 if (mpz_cmp (r, rr)) in testmain()
151 if (mpz_cmp (r, rr)) in testmain()
168 || mpz_cmp (r, rr) || mpz_cmp (q, rq)) in testmain()
183 if (rl != mpz_get_ui (rr) || mpz_cmp (q, rq)) in testmain()
197 if (rl != mpz_get_ui (rr) || mpz_cmp (r, rr)) in testmain()
235 if (mpz_cmp (r, rr)) in testmain()
|
| /dports/math/mingw32-libgmp/gmp-6.0.0/mini-gmp/tests/ |
| H A D | t-reuse.c | 238 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in testmain()
245 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in testmain()
252 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in testmain()
259 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in testmain()
408 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
417 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
426 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
435 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
444 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
453 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
[all …]
|
| H A D | t-div.c | 87 if (mpz_cmp (r, rr) || mpz_cmp (q, rq)) in testmain()
100 if (mpz_cmp (q, rq)) in testmain()
111 if (mpz_cmp (r, rr)) in testmain()
137 if (mpz_cmp (r, rr)) in testmain()
151 if (mpz_cmp (r, rr)) in testmain()
168 || mpz_cmp (r, rr) || mpz_cmp (q, rq)) in testmain()
183 if (rl != mpz_get_ui (rr) || mpz_cmp (q, rq)) in testmain()
197 if (rl != mpz_get_ui (rr) || mpz_cmp (r, rr)) in testmain()
235 if (mpz_cmp (r, rr)) in testmain()
|
| /dports/math/kalker/gmp-mpfr-sys-21966f4bfb56c87d407eb14c72e92ef4e55856aa/gmp-6.2.1-c/mini-gmp/tests/ |
| H A D | t-reuse.c | 238 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in testmain()
245 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in testmain()
252 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in testmain()
259 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in testmain()
408 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
417 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
426 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
435 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
444 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
453 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in testmain()
[all …]
|
| H A D | t-div.c | 87 if (mpz_cmp (r, rr) || mpz_cmp (q, rq)) in testmain()
100 if (mpz_cmp (q, rq)) in testmain()
111 if (mpz_cmp (r, rr)) in testmain()
138 if (mpz_cmp (r, rr)) in testmain()
152 if (mpz_cmp (r, rr)) in testmain()
171 || mpz_cmp (r, rr) || mpz_cmp (q, rq)) in testmain()
186 if (rl != mpz_get_ui (rr) || mpz_cmp (q, rq)) in testmain()
200 if (rl != mpz_get_ui (rr) || mpz_cmp (r, rr)) in testmain()
239 if (mpz_cmp (r, rr)) in testmain()
|
| /dports/math/gap/gap-4.11.0/extern/gmp/tests/mpz/ |
| H A D | reuse.c | 321 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
328 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
335 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
342 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
483 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in main()
492 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in main()
501 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in main()
510 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in main()
519 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in main()
528 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in main()
[all …]
|
| H A D | bit.c | 75 if (mpz_cmp (got, want) != 0) in check_clr_extend()
97 if (mpz_cmp (got, want) != 0) in check_clr_extend()
149 if (mpz_cmp (got, want) != 0) in check_com_negs()
335 if (mpz_cmp (s0, s1) == 0 || mpz_cmp (s0, s2) != 0 || mpz_cmp (s0, s3) == 0) in check_random()
340 if (mpz_cmp (s0, s1) != 0 || mpz_cmp (s0, s2) == 0 || mpz_cmp (s0, s3) != 0) in check_random()
344 if (mpz_cmp (s1, s2) == 0 || mpz_cmp (s1, s3) != 0) in check_random()
346 if (mpz_cmp (s2, s3) == 0) in check_random()
351 if (mpz_cmp (s2, x) != 0) in check_random()
356 if (mpz_cmp (s2, x) != 0) in check_random()
363 if (mpz_cmp (x, s3) != 0) in check_random()
[all …]
|
| H A D | logic.c | 66 if (mpz_cmp (r1, x) != 0) in main()
71 if (mpz_cmp (r2, x) != 0) in main()
81 if (mpz_cmp (t1, x) != 0) in main()
86 if (mpz_cmp (t2, x) != 0) in main()
122 if (mpz_cmp (r1, x) != 0) in main()
129 if (mpz_cmp (r2, y) != 0) in main()
142 if (mpz_cmp (r1, r2) != 0) in main()
155 if (mpz_cmp (r1, r2) != 0) in main()
168 if (mpz_cmp (r1, r2) != 0) in main()
|
| /dports/math/mingw32-libgmp/gmp-6.0.0/tests/mpz/ |
| H A D | reuse.c | 321 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
328 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
335 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
342 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
483 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in main()
492 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in main()
501 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in main()
510 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in main()
519 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in main()
528 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 in main()
[all …]
|
| H A D | bit.c | 75 if (mpz_cmp (got, want) != 0) in check_clr_extend()
97 if (mpz_cmp (got, want) != 0) in check_clr_extend()
149 if (mpz_cmp (got, want) != 0) in check_com_negs()
335 if (mpz_cmp (s0, s1) == 0 || mpz_cmp (s0, s2) != 0 || mpz_cmp (s0, s3) == 0) in check_random()
340 if (mpz_cmp (s0, s1) != 0 || mpz_cmp (s0, s2) == 0 || mpz_cmp (s0, s3) != 0) in check_random()
344 if (mpz_cmp (s1, s2) == 0 || mpz_cmp (s1, s3) != 0) in check_random()
346 if (mpz_cmp (s2, s3) == 0) in check_random()
351 if (mpz_cmp (s2, x) != 0) in check_random()
356 if (mpz_cmp (s2, x) != 0) in check_random()
363 if (mpz_cmp (x, s3) != 0) in check_random()
[all …]
|
| /dports/math/gmp/gmp-6.2.1/tests/mpz/ |
| H A D | reuse.c | 324 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
332 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
340 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
348 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
429 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
436 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
468 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
475 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
491 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 \ in main()
499 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) \ in main()
[all …]
|
| H A D | t-bit.c | 74 if (mpz_cmp (got, want) != 0) in check_clr_extend()
96 if (mpz_cmp (got, want) != 0) in check_clr_extend()
148 if (mpz_cmp (got, want) != 0) in check_com_negs()
334 if (mpz_cmp (s0, s1) == 0 || mpz_cmp (s0, s2) != 0 || mpz_cmp (s0, s3) == 0) in check_random()
339 if (mpz_cmp (s0, s1) != 0 || mpz_cmp (s0, s2) == 0 || mpz_cmp (s0, s3) != 0) in check_random()
343 if (mpz_cmp (s1, s2) == 0 || mpz_cmp (s1, s3) != 0) in check_random()
345 if (mpz_cmp (s2, s3) == 0) in check_random()
350 if (mpz_cmp (s2, x) != 0) in check_random()
355 if (mpz_cmp (s2, x) != 0) in check_random()
362 if (mpz_cmp (x, s3) != 0) in check_random()
[all …]
|
| H A D | logic.c | 65 if (mpz_cmp (r1, x) != 0) in main()
70 if (mpz_cmp (r2, x) != 0) in main()
80 if (mpz_cmp (t1, x) != 0) in main()
85 if (mpz_cmp (t2, x) != 0) in main()
121 if (mpz_cmp (r1, x) != 0) in main()
128 if (mpz_cmp (r2, y) != 0) in main()
141 if (mpz_cmp (r1, r2) != 0) in main()
154 if (mpz_cmp (r1, r2) != 0) in main()
167 if (mpz_cmp (r1, r2) != 0) in main()
|
| /dports/math/kalker/gmp-mpfr-sys-21966f4bfb56c87d407eb14c72e92ef4e55856aa/gmp-6.2.1-c/tests/mpz/ |
| H A D | reuse.c | 324 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
332 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
340 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
348 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
429 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
436 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
468 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
475 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) in main()
491 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 \ in main()
499 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0) \ in main()
[all …]
|
| H A D | t-bit.c | 74 if (mpz_cmp (got, want) != 0) in check_clr_extend()
96 if (mpz_cmp (got, want) != 0) in check_clr_extend()
148 if (mpz_cmp (got, want) != 0) in check_com_negs()
334 if (mpz_cmp (s0, s1) == 0 || mpz_cmp (s0, s2) != 0 || mpz_cmp (s0, s3) == 0) in check_random()
339 if (mpz_cmp (s0, s1) != 0 || mpz_cmp (s0, s2) == 0 || mpz_cmp (s0, s3) != 0) in check_random()
343 if (mpz_cmp (s1, s2) == 0 || mpz_cmp (s1, s3) != 0) in check_random()
345 if (mpz_cmp (s2, s3) == 0) in check_random()
350 if (mpz_cmp (s2, x) != 0) in check_random()
355 if (mpz_cmp (s2, x) != 0) in check_random()
362 if (mpz_cmp (x, s3) != 0) in check_random()
[all …]
|
| /dports/math/singular/Singular-Release-4-2-1/IntegerProgramming/ |
| H A D | BigInt.cc | 174 if (mpz_cmp(a.value,b.value)<0) return true; in operator <()
180 if (mpz_cmp(a.value,b.value)>0) return false; in operator <=()
186 if (mpz_cmp(a.value,b.value)>0) return true; in operator >()
192 if (mpz_cmp(a.value,b.value)<0) return false; in operator >=()
198 if (!mpz_cmp(a.value,b.value)) return true; in operator ==()
204 if (!mpz_cmp(a.value,b.value)) return false; in operator !=()
210 if (mpz_cmp(BigInt(a).value,b.value)<0) return true; in operator <()
222 if (mpz_cmp(BigInt(a).value,b.value)>0) return true; in operator >()
234 if (!mpz_cmp(BigInt(a).value,b.value)) return true; in operator ==()
240 if (!mpz_cmp(BigInt(a).value,b.value)) return false; in operator !=()
[all …]
|
| /dports/games/libtmcg/libTMCG-1.3.18/tests/ |
| H A D | t-mpz.cc | 94 assert(!mpz_cmp(foo, bar)); in main()
102 assert(!mpz_cmp(foo, bar)); in main()
106 assert(!mpz_cmp(foo, bar)); in main()
202 assert(!mpz_cmp(foo, bar)); in main()
218 assert(!mpz_cmp(foo, bar)); in main()
219 assert(mpz_cmp(foo, foo2)); in main()
228 assert(!mpz_cmp(foo, bar)); in main()
491 assert(!mpz_cmp(t1, t2) && !mpz_cmp(t1, root)); in main()
495 assert(!mpz_cmp(t1, t2) && !mpz_cmp(t1, root)); in main()
505 assert(!mpz_cmp(t1, t2) && !mpz_cmp(t1, root)); in main()
[all …]
|
| /dports/math/gmp/gmp-6.2.1/demos/expr/ |
| H A D | exprz.c | 122 { "<=", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_CMP_LE, 170 },
123 { "<", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_CMP_LT, 170 },
124 { ">=", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_CMP_GE, 170 },
125 { ">", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_CMP_GT, 170 },
127 { "==", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_CMP_EQ, 160 },
128 { "!=", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_CMP_NE, 160 },
147 { "cmp", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_I_BINARY },
163 { "max", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_MAX
165 { "min", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_MIN
|
| /dports/math/gap/gap-4.11.0/extern/gmp/demos/expr/ |
| H A D | exprz.c | 122 { "<=", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_CMP_LE, 170 },
123 { "<", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_CMP_LT, 170 },
124 { ">=", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_CMP_GE, 170 },
125 { ">", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_CMP_GT, 170 },
127 { "==", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_CMP_EQ, 160 },
128 { "!=", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_CMP_NE, 160 },
147 { "cmp", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_I_BINARY },
163 { "max", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_MAX
165 { "min", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_MIN
|