int
arf_mul_naive(arf_t z, const arf_t x, const arf_t y, long prec, arf_rnd_t rnd)
{
fmpr_t a, b;
long r;
fmpr_init(a);
fmpr_init(b);
arf_get_fmpr(a, x);
arf_get_fmpr(b, y);
r = fmpr_mul_naive(a, a, b, prec, rnd);
arf_set_fmpr(z, a);
fmpr_clear(a);
fmpr_clear(b);
return (r == FMPR_RESULT_EXACT) ? 0 : 1;
}
int main()
{
slong iter;
flint_rand_t state;
flint_printf("mul_naive....");
fflush(stdout);
flint_randinit(state);
for (iter = 0; iter < 100000 * arb_test_multiplier(); iter++)
{
slong bits;
fmpr_t x, y, z, w;
mpfr_t X, Y, Z;
slong r;
bits = 2 + n_randint(state, 200);
fmpr_init(x);
fmpr_init(y);
fmpr_init(z);
fmpr_init(w);
mpfr_init2(X, bits + 100);
mpfr_init2(Y, bits + 100);
mpfr_init2(Z, bits);
fmpr_randtest_special(x, state, bits + n_randint(state, 100), 10);
fmpr_randtest_special(y, state, bits + n_randint(state, 100), 10);
fmpr_randtest_special(z, state, bits + n_randint(state, 100), 10);
fmpr_get_mpfr(X, x, MPFR_RNDN);
fmpr_get_mpfr(Y, y, MPFR_RNDN);
switch (n_randint(state, 4))
{
case 0:
mpfr_mul(Z, X, Y, MPFR_RNDZ);
r = fmpr_mul_naive(z, x, y, bits, FMPR_RND_DOWN);
break;
case 1:
mpfr_mul(Z, X, Y, MPFR_RNDA);
r = fmpr_mul_naive(z, x, y, bits, FMPR_RND_UP);
break;
case 2:
mpfr_mul(Z, X, Y, MPFR_RNDD);
r = fmpr_mul_naive(z, x, y, bits, FMPR_RND_FLOOR);
break;
default:
mpfr_mul(Z, X, Y, MPFR_RNDU);
r = fmpr_mul_naive(z, x, y, bits, FMPR_RND_CEIL);
break;
}
fmpr_set_mpfr(w, Z);
if (!fmpr_equal(z, w) || !fmpr_check_ulp(z, r, bits))
{
flint_printf("FAIL\n\n");
flint_printf("bits = %wd\n", bits);
flint_printf("x = "); fmpr_print(x); flint_printf("\n\n");
flint_printf("y = "); fmpr_print(y); flint_printf("\n\n");
flint_printf("z = "); fmpr_print(z); flint_printf("\n\n");
flint_printf("w = "); fmpr_print(w); flint_printf("\n\n");
abort();
}
fmpr_clear(x);
fmpr_clear(y);
fmpr_clear(z);
fmpr_clear(w);
mpfr_clear(X);
mpfr_clear(Y);
mpfr_clear(Z);
}
flint_randclear(state);
flint_cleanup();
flint_printf("PASS\n");
return EXIT_SUCCESS;
}
int main()
{
long iter, iter2;
flint_rand_t state;
printf("mul....");
fflush(stdout);
flint_randinit(state);
for (iter = 0; iter < 10000; iter++)
{
fmpr_t x, y, z, v;
long prec, r1, r2;
fmpr_rnd_t rnd;
fmpr_init(x);
fmpr_init(y);
fmpr_init(z);
fmpr_init(v);
for (iter2 = 0; iter2 < 100; iter2++)
{
fmpr_randtest_special(x, state, 2000, 200);
fmpr_randtest_special(y, state, 2000, 200);
prec = 2 + n_randint(state, 2000);
switch (n_randint(state, 4))
{
case 0:
rnd = FMPR_RND_DOWN;
break;
case 1:
rnd = FMPR_RND_UP;
break;
case 2:
rnd = FMPR_RND_FLOOR;
break;
default:
rnd = FMPR_RND_CEIL;
break;
}
switch (n_randint(state, 5))
{
case 0:
r1 = fmpr_mul(z, x, y, prec, rnd);
r2 = fmpr_mul_naive(v, x, y, prec, rnd);
if (!fmpr_equal(z, v) || r1 != r2 || !fmpr_check_ulp(z, r1, prec))
{
printf("FAIL!\n");
printf("x = ");
fmpr_print(x);
printf("\n\n");
printf("y = ");
fmpr_print(y);
printf("\n\n");
printf("z = ");
fmpr_print(z);
printf("\n\n");
printf("v = ");
fmpr_print(v);
printf("\n\n");
printf("r1 = %ld, r2 = %ld\n", r1, r2);
abort();
}
break;
case 1:
r1 = fmpr_mul(z, x, x, prec, rnd);
r2 = fmpr_mul_naive(v, x, x, prec, rnd);
if (!fmpr_equal(z, v) || r1 != r2 || !fmpr_check_ulp(z, r1, prec))
{
printf("FAIL (aliasing 1)!\n");
printf("x = ");
fmpr_print(x);
printf("\n\n");
printf("z = ");
fmpr_print(z);
printf("\n\n");
printf("v = ");
fmpr_print(v);
printf("\n\n");
printf("r1 = %ld, r2 = %ld\n", r1, r2);
abort();
}
break;
case 2:
r2 = fmpr_mul_naive(v, x, x, prec, rnd);
r1 = fmpr_mul(x, x, x, prec, rnd);
if (!fmpr_equal(v, x) || r1 != r2 || !fmpr_check_ulp(x, r1, prec))
{
printf("FAIL (aliasing 2)!\n");
printf("x = ");
fmpr_print(x);
printf("\n\n");
printf("z = ");
fmpr_print(z);
printf("\n\n");
printf("v = ");
fmpr_print(v);
printf("\n\n");
printf("r1 = %ld, r2 = %ld\n", r1, r2);
abort();
}
break;
case 3:
r2 = fmpr_mul_naive(v, x, y, prec, rnd);
r1 = fmpr_mul(x, x, y, prec, rnd);
if (!fmpr_equal(x, v) || r1 != r2 || !fmpr_check_ulp(x, r1, prec))
{
printf("FAIL (aliasing 3)!\n");
printf("x = ");
fmpr_print(x);
printf("\n\n");
printf("y = ");
fmpr_print(y);
printf("\n\n");
printf("v = ");
fmpr_print(v);
printf("\n\n");
printf("r1 = %ld, r2 = %ld\n", r1, r2);
abort();
}
break;
default:
r2 = fmpr_mul_naive(v, x, y, prec, rnd);
r1 = fmpr_mul(x, y, x, prec, rnd);
if (!fmpr_equal(x, v) || r1 != r2 || !fmpr_check_ulp(x, r1, prec))
{
printf("FAIL (aliasing 4)!\n");
printf("x = ");
fmpr_print(x);
printf("\n\n");
printf("y = ");
fmpr_print(y);
printf("\n\n");
printf("v = ");
fmpr_print(v);
printf("\n\n");
printf("r1 = %ld, r2 = %ld\n", r1, r2);
abort();
}
break;
}
}
fmpr_clear(x);
fmpr_clear(y);
fmpr_clear(z);
fmpr_clear(v);
}
flint_randclear(state);
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}
