static void check_ternary_value (void) { unsigned int i; mpc_t z; mpc_init2 (z, 2); for (i=2; i <= 1024; i++) { mpc_set_prec (z, i); mpc_set_ui (z, 1, MPC_RNDNN); if (mpc_add_ui (z, z, 1, MPC_RNDNZ)) { printf ("Error in mpc_add_ui: 1+1 should be exact\n"); exit (1); } mpc_set_ui (z, 1, MPC_RNDNN); mpc_mul_2exp (z, z, i, MPC_RNDNN); if (mpc_add_ui (z, z, 1, MPC_RNDNN) == 0) { printf ("Error in mpc_add_ui: 2^prec+1 cannot be exact\n"); exit (1); } } mpc_clear (z); }
static void check_ternary_value (mpfr_prec_t prec_max, mpfr_prec_t step) { mpfr_prec_t prec; mpc_t z; mpfr_t f; mpc_init2 (z, 2); mpfr_init (f); for (prec = 2; prec < prec_max; prec += step) { mpc_set_prec (z, prec); mpfr_set_prec (f, prec); mpc_set_ui (z, 1, MPC_RNDNN); mpfr_set_ui (f, 1, GMP_RNDN); if (mpc_add_fr (z, z, f, MPC_RNDNZ)) { printf ("Error in mpc_add_fr: 1+1 should be exact\n"); exit (1); } mpc_set_ui (z, 1, MPC_RNDNN); mpc_mul_2exp (z, z, prec, MPC_RNDNN); if (mpc_add_fr (z, z, f, MPC_RNDNN) == 0) { fprintf (stderr, "Error in mpc_add_fr: 2^prec+1 cannot be exact\n"); exit (1); } } mpc_clear (z); mpfr_clear (f); }
static void check_ternary_value (void) { mpfr_prec_t prec; mpc_t z; const long int s = -1; mpc_init2 (z, 2); for (prec=2; prec <= 1024; prec++) { mpc_set_prec (z, prec); mpc_set_ui (z, 3ul, MPC_RNDNN); if (mpc_add_si (z, z, s, MPC_RNDDU)) { printf ("Error in mpc_add_si: 3+(-1) should be exact\n"); exit (1); } else if (mpc_cmp_si (z, 2l) != 0) { printf ("Error in mpc_add_si: 3+(-1) should be 2\n"); exit (1); } mpc_mul_2exp (z, z, (unsigned long int) prec, MPC_RNDNN); if (mpc_add_si (z, z, s, MPC_RNDNN) == 0) { printf ("Error in mpc_add_si: 2^(prec+1)-1 cannot be exact\n"); exit (1); } } mpc_clear (z); }
// Computes j = j(tau). static void compute_j(mpc_t j, mpc_t tau) { mpc_t h; mpc_t z0; mpc_init(h); mpc_init(z0); compute_h(h, tau); //mpc_mul_ui(z0, h, 256); mpc_mul_2exp(z0, h, 8); mpc_add_ui(z0, z0, 1); mpc_pow_ui(z0, z0, 3); mpc_div(j, z0, h); mpc_clear(z0); mpc_clear(h); }