Lines Matching refs:res1
153 mpz_t res1, res2, res3;
169 mpz_init (res1);
210 mpz_set (res1, in1);
211 (dss_funcs[i]) (res1, res1, in2);
212 mpz_check_format (res1);
213 if (mpz_cmp (ref1, res1) != 0)
216 mpz_set (res1, in2);
217 (dss_funcs[i]) (res1, in1, res1);
218 mpz_check_format (res1);
219 if (mpz_cmp (ref1, res1) != 0)
234 mpz_set (res1, in1);
235 (ddss_div_funcs[i]) (res1, res2, res1, in2);
236 mpz_check_format (res1);
238 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
242 (ddss_div_funcs[i]) (res1, res2, res2, in2);
243 mpz_check_format (res1);
245 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
248 mpz_set (res1, in2);
249 (ddss_div_funcs[i]) (res1, res2, in1, res1);
250 mpz_check_format (res1);
252 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
256 (ddss_div_funcs[i]) (res1, res2, in1, res2);
257 mpz_check_format (res1);
259 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
274 mpz_set (res1, in1);
275 (ds_funcs[i]) (res1, res1);
276 mpz_check_format (res1);
277 if (mpz_cmp (ref1, res1) != 0)
302 mpz_set (res1, in1);
303 (dsi_funcs[i]) (res1, res1, in2i);
304 mpz_check_format (res1);
305 if (mpz_cmp (ref1, res1) != 0)
316 mpz_set (res1, in1);
317 r2 = (dsi_div_funcs[i]) (res1, res1, in2i);
318 mpz_check_format (res1);
319 if (mpz_cmp (ref1, res1) != 0 || r1 != r2)
328 mpz_set (res1, in1);
329 r2 = (ddsi_div_funcs[i]) (res1, res2, res1, in2i);
330 mpz_check_format (res1);
331 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 || r1 != r2)
335 (ddsi_div_funcs[i]) (res1, res2, res2, in2i);
336 mpz_check_format (res1);
337 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 || r1 != r2)
348 mpz_set (res1, in1);
349 mpz_sqrtrem (res1, res2, res1);
350 mpz_check_format (res1);
352 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
356 mpz_sqrtrem (res1, res2, res2);
357 mpz_check_format (res1);
359 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
368 mpz_set (res1, in1);
369 mpz_root (res1, res1, in2i % 0x1000 + 1);
370 mpz_check_format (res1);
371 if (mpz_cmp (ref1, res1) != 0)
381 mpz_set (res1, in1);
382 mpz_rootrem (res1, res2, res1, in2i % 0x1000 + 1);
383 mpz_check_format (res1);
385 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
389 mpz_rootrem (res1, res2, res2, in2i % 0x1000 + 1);
390 mpz_check_format (res1);
392 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
403 mpz_set (res1, in1);
404 mpz_gcdext (res1, res2, res3, res1, in2);
405 mpz_check_format (res1);
408 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
413 mpz_gcdext (res1, res2, res3, res2, in2);
414 mpz_check_format (res1);
417 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
422 mpz_gcdext (res1, res2, res3, res3, in2);
423 mpz_check_format (res1);
426 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
430 mpz_set (res1, in2);
431 mpz_gcdext (res1, res2, res3, in1, res1);
432 mpz_check_format (res1);
435 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
440 mpz_gcdext (res1, res2, res3, in1, res2);
441 mpz_check_format (res1);
444 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
449 mpz_gcdext (res1, res2, res3, in1, res3);
450 mpz_check_format (res1);
453 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
457 mpz_set (res1, in1);
458 mpz_gcdext (res1, res2, NULL, res1, in2);
459 mpz_check_format (res1);
461 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
466 mpz_gcdext (res1, res2, NULL, res2, in2);
467 mpz_check_format (res1);
469 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
473 mpz_set (res1, in2);
474 mpz_gcdext (res1, res2, NULL, in1, res1);
475 mpz_check_format (res1);
477 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
482 mpz_gcdext (res1, res2, NULL, in1, res2);
483 mpz_check_format (res1);
485 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
497 mpz_set (res1, in1);
498 mpz_powm (res1, res1, in2, in3);
499 mpz_check_format (res1);
500 if (mpz_cmp (ref1, res1) != 0)
503 mpz_set (res1, in2);
504 mpz_powm (res1, in1, res1, in3);
505 mpz_check_format (res1);
506 if (mpz_cmp (ref1, res1) != 0)
509 mpz_set (res1, in3);
510 mpz_powm (res1, in1, in2, res1);
511 mpz_check_format (res1);
512 if (mpz_cmp (ref1, res1) != 0)
522 mpz_set (res1, in1);
523 mpz_powm_ui (res1, res1, in2i, in3);
524 mpz_check_format (res1);
525 if (mpz_cmp (ref1, res1) != 0)
528 mpz_set (res1, in3);
529 mpz_powm_ui (res1, in1, in2i, res1);
530 mpz_check_format (res1);
531 if (mpz_cmp (ref1, res1) != 0)
539 mpz_set (res1, in1);
540 r2 = mpz_gcd_ui (res1, res1, in2i);
541 mpz_check_format (res1);
542 if (mpz_cmp (ref1, res1) != 0)
552 mpz_set (res1, in1);
553 mpz_remove (res1, res1, in2);
554 mpz_check_format (res1);
555 if (mpz_cmp (ref1, res1) != 0)
558 mpz_set (res1, in2);
559 mpz_remove (res1, in1, res1);
560 mpz_check_format (res1);
561 if (mpz_cmp (ref1, res1) != 0)
572 mpz_set (res1, t);
573 mpz_divexact (res1, res1, in2);
574 mpz_check_format (res1);
575 if (mpz_cmp (ref1, res1) != 0)
578 mpz_set (res1, in2);
579 mpz_divexact (res1, t, res1);
580 mpz_check_format (res1);
581 if (mpz_cmp (ref1, res1) != 0)
593 mpz_set (res1, t);
594 mpz_divexact_gcd (res1, res1, in2);
595 mpz_check_format (res1);
596 if (mpz_cmp (ref1, res1) != 0)
599 mpz_set (res1, in2);
600 mpz_divexact_gcd (res1res1);
601 mpz_check_format (res1);
602 if (mpz_cmp (ref1, res1) != 0)
621 mpz_clear (res1);
Indexes created Tue Apr 14 00:22:26 UTC 2026