Searched refs:precbits (Results 1 – 1 of 1) sorted by relevance
49 int precbits; in check_random() local61 precbits = mpz_get_ui (z) + 1; in check_random()62 mpz_urandomb (z, rands, precbits); in check_random()63 mpz_setbit (z, precbits - 1); /* make sure msb is set */ in check_random()65 if (precbits & 1) in check_random()70 precbits -= mpz_get_ui (z); in check_random()71 if (precbits <= 0) in check_random()72 precbits = 1 - precbits; in check_random()73 mpf_set_default_prec (precbits); in check_random()77 if (!mpf_eq (a, b, precbits)) in check_random()[all …]