Lines Matching refs:res2
153 mpz_t res1, res2, res3;
170 mpz_init (res2);
235 (ddss_div_funcs[i]) (res1, res2, res1, in2);
237 mpz_check_format (res2);
238 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
241 mpz_set (res2, in1);
242 (ddss_div_funcs[i]) (res1, res2, res2, in2);
244 mpz_check_format (res2);
245 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
249 (ddss_div_funcs[i]) (res1, res2, in1, res1);
251 mpz_check_format (res2);
252 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
255 mpz_set (res2, in2);
256 (ddss_div_funcs[i]) (res1, res2, in1, res2);
258 mpz_check_format (res2);
259 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
329 r2 = (ddsi_div_funcs[i]) (res1, res2, res1, in2i);
331 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 || r1 != r2)
334 mpz_set (res2, in1);
335 (ddsi_div_funcs[i]) (res1, res2, res2, in2i);
337 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 || r1 != r2)
349 mpz_sqrtrem (res1, res2, res1);
351 mpz_check_format (res2);
352 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
355 mpz_set (res2, in1);
356 mpz_sqrtrem (res1, res2, res2);
358 mpz_check_format (res2);
359 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
382 mpz_rootrem (res1, res2, res1, in2i % 0x1000 + 1);
384 mpz_check_format (res2);
385 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
388 mpz_set (res2, in1);
389 mpz_rootrem (res1, res2, res2, in2i % 0x1000 + 1);
391 mpz_check_format (res2);
392 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
404 mpz_gcdext (res1, res2, res3, res1, in2);
406 mpz_check_format (res2);
408 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
412 mpz_set (res2, in1);
413 mpz_gcdext (res1, res2, res3, res2, in2);
415 mpz_check_format (res2);
417 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
422 mpz_gcdext (res1, res2, res3, res3, in2);
424 mpz_check_format (res2);
426 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
431 mpz_gcdext (res1, res2, res3, in1, res1);
433 mpz_check_format (res2);
435 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
439 mpz_set (res2, in2);
440 mpz_gcdext (res1, res2, res3, in1, res2);
442 mpz_check_format (res2);
444 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
449 mpz_gcdext (res1, res2, res3, in1, res3);
451 mpz_check_format (res2);
453 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
458 mpz_gcdext (res1, res2, NULL, res1, in2);
460 mpz_check_format (res2);
461 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
465 mpz_set (res2, in1);
466 mpz_gcdext (res1, res2, NULL, res2, in2);
468 mpz_check_format (res2);
469 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
474 mpz_gcdext (res1, res2, NULL, in1, res1);
476 mpz_check_format (res2);
477 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
481 mpz_set (res2, in2);
482 mpz_gcdext (res1, res2, NULL, in1, res2);
484 mpz_check_format (res2);
485 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
622 mpz_clear (res2);