static void acb_approx_mul(acb_t res, const acb_t x, const acb_t y, slong prec) { arf_complex_mul(arb_midref(acb_realref(res)), arb_midref(acb_imagref(res)), arb_midref(acb_realref(x)), arb_midref(acb_imagref(x)), arb_midref(acb_realref(y)), arb_midref(acb_imagref(y)), prec, ARB_RND); }
static void _acb_mul_slow(acb_t z, const acb_t x, const acb_t y, slong prec) { int inexact; mag_t am, bm, cm, dm, er, fr; mag_init_set_arf(am, arb_midref(a)); mag_init_set_arf(bm, arb_midref(b)); mag_init_set_arf(cm, arb_midref(c)); mag_init_set_arf(dm, arb_midref(d)); mag_init(er); mag_init(fr); mag_addmul(er, am, cr); mag_addmul(er, bm, dr); mag_addmul(er, cm, ar); mag_addmul(er, dm, br); mag_addmul(er, ar, cr); mag_addmul(er, br, dr); mag_addmul(fr, am, dr); mag_addmul(fr, bm, cr); mag_addmul(fr, cm, br); mag_addmul(fr, dm, ar); mag_addmul(fr, br, cr); mag_addmul(fr, ar, dr); inexact = arf_complex_mul(arb_midref(e), arb_midref(f), arb_midref(a), arb_midref(b), arb_midref(c), arb_midref(d), prec, ARB_RND); if (inexact & 1) arf_mag_add_ulp(arb_radref(e), er, arb_midref(e), prec); else mag_swap(arb_radref(e), er); if (inexact & 2) arf_mag_add_ulp(arb_radref(f), fr, arb_midref(f), prec); else mag_swap(arb_radref(f), fr); mag_clear(am); mag_clear(bm); mag_clear(cm); mag_clear(dm); mag_clear(er); mag_clear(fr); }
int main() { long iter, iter2; flint_rand_t state; printf("complex_mul...."); fflush(stdout); flint_randinit(state); for (iter = 0; iter < 10000; iter++) { arf_t e1, f1, e2, f2, a, b, c, d; long prec, r1, r2; arf_rnd_t rnd; arf_init(a); arf_init(b); arf_init(c); arf_init(d); arf_init(e1); arf_init(f1); arf_init(e2); arf_init(f2); for (iter2 = 0; iter2 < 100; iter2++) { arf_randtest_special(a, state, 3000, 100); arf_randtest_special(b, state, 3000, 100); arf_randtest_special(c, state, 3000, 100); arf_randtest_special(d, state, 3000, 100); prec = 2 + n_randint(state, 3000); switch (n_randint(state, 4)) { case 0: rnd = ARF_RND_DOWN; break; case 1: rnd = ARF_RND_UP; break; case 2: rnd = ARF_RND_FLOOR; break; default: rnd = ARF_RND_CEIL; break; } switch (n_randint(state, 5)) { case 0: r1 = arf_complex_mul(e1, f1, a, b, c, d, prec, rnd); r2 = arf_complex_mul_fallback(e2, f2, a, b, c, d, prec, rnd); if (!arf_equal(e1, e2) || !arf_equal(f1, f2) || r1 != r2) { printf("FAIL!\n"); printf("prec = %ld, rnd = %d\n\n", prec, rnd); printf("a = "); arf_print(a); printf("\n\n"); printf("b = "); arf_print(b); printf("\n\n"); printf("c = "); arf_print(c); printf("\n\n"); printf("d = "); arf_print(d); printf("\n\n"); printf("e1 = "); arf_print(e1); printf("\n\n"); printf("f1 = "); arf_print(f1); printf("\n\n"); printf("e2 = "); arf_print(e2); printf("\n\n"); printf("f2 = "); arf_print(f2); printf("\n\n"); printf("r1 = %ld, r2 = %ld\n", r1, r2); abort(); } break; case 1: arf_set(c, a); arf_set(d, b); r1 = arf_complex_mul(e1, f1, a, b, a, b, prec, rnd); r2 = arf_complex_mul_fallback(e2, f2, a, b, c, d, prec, rnd); if (!arf_equal(e1, e2) || !arf_equal(f1, f2) || r1 != r2) { printf("FAIL! (aliasing 1)\n"); printf("prec = %ld, rnd = %d\n\n", prec, rnd); printf("a = "); arf_print(a); printf("\n\n"); printf("b = "); arf_print(b); printf("\n\n"); printf("c = "); arf_print(c); printf("\n\n"); printf("d = "); arf_print(d); printf("\n\n"); printf("e1 = "); arf_print(e1); printf("\n\n"); printf("f1 = "); arf_print(f1); printf("\n\n"); printf("e2 = "); arf_print(e2); printf("\n\n"); printf("f2 = "); arf_print(f2); printf("\n\n"); printf("r1 = %ld, r2 = %ld\n", r1, r2); abort(); } break; case 2: r1 = arf_complex_mul_fallback(e1, f1, a, b, a, b, prec, rnd); r2 = arf_complex_mul(a, b, a, b, a, b, prec, rnd); if (!arf_equal(e1, a) || !arf_equal(f1, b) || r1 != r2) { printf("FAIL! (aliasing 2)\n"); printf("prec = %ld, rnd = %d\n\n", prec, rnd); printf("a = "); arf_print(a); printf("\n\n"); printf("b = "); arf_print(b); printf("\n\n"); printf("e1 = "); arf_print(e1); printf("\n\n"); printf("f1 = "); arf_print(f1); printf("\n\n"); printf("r1 = %ld, r2 = %ld\n", r1, r2); abort(); } break; case 3: r1 = arf_complex_mul_fallback(e1, f1, a, b, c, d, prec, rnd); r2 = arf_complex_mul(a, b, a, b, c, d, prec, rnd); if (!arf_equal(e1, a) || !arf_equal(f1, b) || r1 != r2) { printf("FAIL! (aliasing 3)\n"); printf("prec = %ld, rnd = %d\n\n", prec, rnd); printf("a = "); arf_print(a); printf("\n\n"); printf("b = "); arf_print(b); printf("\n\n"); printf("c = "); arf_print(c); printf("\n\n"); printf("d = "); arf_print(d); printf("\n\n"); printf("e1 = "); arf_print(e1); printf("\n\n"); printf("f1 = "); arf_print(f1); printf("\n\n"); printf("r1 = %ld, r2 = %ld\n", r1, r2); abort(); } break; default: r1 = arf_complex_mul_fallback(e1, f1, a, b, c, d, prec, rnd); r2 = arf_complex_mul(c, d, a, b, c, d, prec, rnd); if (!arf_equal(e1, c) || !arf_equal(f1, d) || r1 != r2) { printf("FAIL! (aliasing 4)\n"); printf("prec = %ld, rnd = %d\n\n", prec, rnd); printf("a = "); arf_print(a); printf("\n\n"); printf("b = "); arf_print(b); printf("\n\n"); printf("c = "); arf_print(c); printf("\n\n"); printf("d = "); arf_print(d); printf("\n\n"); printf("e1 = "); arf_print(e1); printf("\n\n"); printf("f1 = "); arf_print(f1); printf("\n\n"); printf("r1 = %ld, r2 = %ld\n", r1, r2); abort(); } break; } } arf_clear(a); arf_clear(b); arf_clear(c); arf_clear(d); arf_clear(e1); arf_clear(f1); arf_clear(e2); arf_clear(f2); } flint_randclear(state); flint_cleanup(); printf("PASS\n"); return EXIT_SUCCESS; }