Lines Matching defs:ref3
154 mpz_t ref1, ref2, ref3;
168 mpz_init (ref3);
398 mpz_gcdext (ref1, ref2, ref3, in1, in2);
401 mpz_check_format (ref3);
409 || mpz_cmp (ref3, res3) != 0)
418 || mpz_cmp (ref3, res3) != 0)
427 || mpz_cmp (ref3, res3) != 0)
436 || mpz_cmp (ref3, res3) != 0)
445 || mpz_cmp (ref3, res3) != 0)
454 || mpz_cmp (ref3, res3) != 0)
462 || mpz_cmp (ref3, res3) != 0)
470 || mpz_cmp (ref3, res3) != 0)
478 || mpz_cmp (ref3, res3) != 0)
486 || mpz_cmp (ref3, res3) != 0)
620 mpz_clear (ref3);