Lines Matching refs:mpz_gcdext
1 /* Test mpz_gcd, mpz_gcdext, and mpz_gcd_ui.
290 /* Check that we can use NULL as first argument of mpz_gcdext. */
293 mpz_gcdext (NULL, temp1, temp2, op1, op2);
297 mpz_gcdext (NULL, temp1, temp2, op1, op2);
326 mpz_gcdext (gcd1, s, NULL, op1, op2);
333 fprintf (stderr, "mpz_gcdext returned incorrect result\n");
337 fprintf (stderr, "mpz_gcdext returns:\n");debug_mp (gcd1, -16);
344 fprintf (stderr, "mpz_gcdext returned invalid result\n");
347 fprintf (stderr, "mpz_gcdext returns:\n");debug_mp (gcd1, -16);
385 mpz_gcdext (gcd2, temp1, temp2, op1, op2);
398 fprintf (stderr, "mpz_gcdext returned incorrect result\n");
402 fprintf (stderr, "mpz_gcdext returns:\n");debug_mp (gcd2, -16);