Lines Matching defs:ref1

154   mpz_t ref1, ref2, ref3;
166 mpz_init (ref1);
207 (dss_funcs[i]) (ref1, in1, in2);
208 mpz_check_format (ref1);
213 if (mpz_cmp (ref1, res1) != 0)
219 if (mpz_cmp (ref1, res1) != 0)
230 (ddss_div_funcs[i]) (ref1, ref2, in1, in2);
231 mpz_check_format (ref1);
238 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
245 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
252 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
259 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
271 (ds_funcs[i]) (ref1, in1);
272 mpz_check_format (ref1);
277 if (mpz_cmp (ref1, res1) != 0)
299 (dsi_funcs[i]) (ref1, in1, in2i);
300 mpz_check_format (ref1);
305 if (mpz_cmp (ref1, res1) != 0)
313 r1 = (dsi_div_funcs[i]) (ref1, in1, in2i);
314 mpz_check_format (ref1);
319 if (mpz_cmp (ref1, res1) != 0 || r1 != r2)
325 r1 = (ddsi_div_funcs[i]) (ref1, ref2, in1, in2i);
326 mpz_check_format (ref1);
331 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 || r1 != r2)
337 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 || r1 != r2)
344 mpz_sqrtrem (ref1, ref2, in1);
345 mpz_check_format (ref1);
352 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
359 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
365 mpz_root (ref1, in1, in2i % 0x1000 + 1);
366 mpz_check_format (ref1);
371 if (mpz_cmp (ref1, res1) != 0)
377 mpz_rootrem (ref1, ref2, in1, in2i % 0x1000 + 1);
378 mpz_check_format (ref1);
385 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
392 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
398 mpz_gcdext (ref1, ref2, ref3, in1, in2);
399 mpz_check_format (ref1);
408 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
417 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
426 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
435 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
444 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
453 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
461 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
469 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
477 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
485 if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
494 mpz_powm (ref1, in1, in2, in3);
495 mpz_check_format (ref1);
500 if (mpz_cmp (ref1, res1) != 0)
506 if (mpz_cmp (ref1, res1) != 0)
512 if (mpz_cmp (ref1, res1) != 0)
519 mpz_powm_ui (ref1, in1, in2i, in3);
520 mpz_check_format (ref1);
525 if (mpz_cmp (ref1, res1) != 0)
531 if (mpz_cmp (ref1, res1) != 0)
536 r1 = mpz_gcd_ui (ref1, in1, in2i);
537 mpz_check_format (ref1);
542 if (mpz_cmp (ref1, res1) != 0)
549 mpz_remove (ref1, in1, in2);
550 mpz_check_format (ref1);
555 if (mpz_cmp (ref1, res1) != 0)
561 if (mpz_cmp (ref1, res1) != 0)
569 mpz_divexact (ref1, t, in2);
570 mpz_check_format (ref1);
575 if (mpz_cmp (ref1, res1) != 0)
581 if (mpz_cmp (ref1, res1) != 0)
590 mpz_divexact_gcd (ref1, t, in2);
591 mpz_check_format (ref1);
596 if (mpz_cmp (ref1, res1) != 0)
602 if (mpz_cmp (ref1, res1) != 0)
618 mpz_clear (ref1);