hiro/arb
1
0
Fork 0
mirror of https://github.com/vale981/arb synced 2025-03-04 17:01:40 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

accuracy fix; test beta_lower cases

Browse source
This commit is contained in:
fredrik 2021-12-10 18:40:00 +01:00
parent e79a80340f
commit ac4ffbcafd
2 changed files with 73 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

66
acb_hypgeom/test/t-beta_lower.c
View file

@ -122,6 +122,72 @@ int main()
acb_clear(u);
}
/* see issue 359 */
{
slong prec;
acb_t z, a, b, res, res2;
acb_init(z);
acb_init(a);
acb_init(b);
acb_init(res);
acb_init(res2);
prec = 64;
acb_set_d(a, 1e5);
acb_set_d(b, 1e5);
acb_set_ui(z, 4999);
acb_div_ui(z, z, 10000, prec);
acb_hypgeom_beta_lower(res, a, b, z, 1, prec);
arb_set_str(acb_realref(res2), "0.4643650813520 +/- 5.17e-14", prec);
if (!acb_overlaps(res, res2) || acb_rel_accuracy_bits(res) < acb_rel_accuracy_bits(res2) - 10)
{
flint_printf("FAIL: test case (1)\n\n");
flint_printf("res = "); acb_printd(res, 100); flint_printf("\n\n");
flint_printf("res2 = "); acb_printd(res2, 100); flint_printf("\n\n");
flint_abort();
}
prec = 128;
acb_set_d(a, 1e10);
acb_set_d(b, 1e10);
acb_set_ui(z, 4999);
acb_div_ui(z, z, 10000, prec);
acb_hypgeom_beta_lower(res, a, b, z, 1, prec);
arb_set_str(acb_realref(res2), "2.69791122252793228610950163e-176 +/- 2.47e-203", prec);
if (!acb_overlaps(res, res2) || acb_rel_accuracy_bits(res) < acb_rel_accuracy_bits(res2) - 10)
{
flint_printf("FAIL: test case (2)\n\n");
flint_printf("res = "); acb_printd(res, 100); flint_printf("\n\n");
flint_printf("res2 = "); acb_printd(res2, 100); flint_printf("\n\n");
flint_abort();
}
prec = 128;
acb_set_d(a, 1e15);
acb_set_d(b, 1e15);
acb_set_ui(z, 4999);
acb_div_ui(z, z, 10000, prec);
acb_hypgeom_beta_lower(res, a, b, z, 1, prec);
arb_set_str(acb_realref(res2), "1.0612052723416047758478e-17371784 +/- 7.21e-17371807", prec);
if (!acb_overlaps(res, res2) || acb_rel_accuracy_bits(res) < acb_rel_accuracy_bits(res2) - 10)
{
flint_printf("FAIL: test case (3\n\n");
flint_printf("res = "); acb_printd(res, 100); flint_printf("\n\n");
flint_printf("res2 = "); acb_printd(res2, 100); flint_printf("\n\n");
flint_abort();
}
acb_clear(z);
acb_clear(a);
acb_clear(b);
acb_clear(res);
acb_clear(res2);
}
flint_randclear(state);
flint_cleanup();
flint_printf("PASS\n");

7
arb_hypgeom/2f1_integration.c
View file

@ -340,6 +340,12 @@ estimate_magnitude(mag_t res, const arb_t ra, const arb_t rb, const arb_t rc, co
t2 = 1 - 1e-8;
}
/* todo: more reliable solution when peak is at (or close to) 0 or 1 */
t1 = FLINT_MAX(t1, 1e-10);
t2 = FLINT_MAX(t2, 1e-10);
t1 = FLINT_MIN(t1, 1 - 1e-10);
t2 = FLINT_MIN(t2, 1 - 1e-10);
m = -1e300;
if (t1 > 0.0 && t1 < 1.0 && z * t1 < 1.0)
@ -417,6 +423,7 @@ _arb_hypgeom_2f1_integration(arb_t res, const arb_t a, const arb_t b, const arb_
acb_one(one);
estimate_magnitude(abs_tol, a, b, c, z);
mag_mul_2exp_si(abs_tol, abs_tol, -prec);
acb_calc_integrate(I, integrand, param, zero, one, prec, abs_tol, opt, prec);
if (!(regularized & 1))