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

more special values

Browse source
This commit is contained in:
p15-git-acc 2020-09-22 15:38:21 -05:00
parent a976078288
commit 95e6949d02
6 changed files with 205 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
acb_hypgeom/bessel_j.c
View file

@ -98,6 +98,14 @@ acb_hypgeom_bessel_j_asymp(acb_t res, const acb_t nu, const acb_t z, slong prec)
acb_t A1, A2, C, U1, U2, s, t, u;
int is_real, is_imag;
/* zero at -inf and +inf when nu is finite */
if (acb_is_finite(nu) && !acb_is_finite(z) &&
acb_is_real(z) && !acb_contains_zero(z))
{
acb_zero(res);
return;
}
acb_init(A1);
acb_init(A2);
acb_init(C);

9
acb_hypgeom/bessel_y.c
View file

@ -37,6 +37,15 @@ acb_hypgeom_bessel_jy(acb_t res1, acb_t res2, const acb_t nu, const acb_t z, slo
{
acb_t jnu, t, u, v;
/* both j and y are zero at -inf and +inf when nu is finite */
if (acb_is_finite(nu) && !acb_is_finite(z) &&
acb_is_real(z) && !acb_contains_zero(z))
{
if (res1 != NULL) acb_zero(res1);
acb_zero(res2);
return;
}
acb_init(jnu);
acb_init(t);
acb_init(u);

7
arb/sinc_pi.c
View file

@ -28,9 +28,12 @@ arb_sinc_pi(arb_t res, const arb_t x, slong prec)
return;
}
if (arb_is_zero(x))
if (arb_is_int(x))
{
arb_one(res);
if (arb_is_zero(x))
arb_one(res);
else
arb_zero(res);
return;
}

25
arb/test/t-sinc_pi.c
View file

@ -56,6 +56,31 @@ int main()
flint_abort();
}
if (arb_is_int(x))
{
if (arb_is_zero(x) && !arb_is_one(y))
{
flint_printf("FAIL: zero\n");
flint_printf("x = "); arb_printd(x, 30); flint_printf("\n\n");
flint_printf("y = "); arb_printd(y, 30); flint_printf("\n\n");
flint_abort();
}
if (arb_is_positive(x) && !arb_is_zero(y))
{
flint_printf("FAIL: positive integer\n");
flint_printf("x = "); arb_printd(x, 30); flint_printf("\n\n");
flint_printf("y = "); arb_printd(y, 30); flint_printf("\n\n");
flint_abort();
}
if (arb_is_negative(x) && !arb_is_zero(y))
{
flint_printf("FAIL: negative integer\n");
flint_printf("x = "); arb_printd(x, 30); flint_printf("\n\n");
flint_printf("y = "); arb_printd(y, 30); flint_printf("\n\n");
flint_abort();
}
}
arb_clear(x);
arb_clear(y);
arb_clear(z);

79
arb_hypgeom/test/t-bessel_j.c Normal file
View file

@ -0,0 +1,79 @@
/*
Copyright (C) 2020 D.H.J. Polymath
This file is part of Arb.
Arb is free software: you can redistribute it and/or modify it under
the terms of the GNU Lesser General Public License (LGPL) as published
by the Free Software Foundation; either version 2.1 of the License, or
(at your option) any later version. See <http://www.gnu.org/licenses/>.
*/
#include "arb_hypgeom.h"
int main()
{
slong iter;
flint_rand_t state;
flint_printf("bessel_j....");
fflush(stdout);
flint_randinit(state);
for (iter = 0; iter < 1000 * arb_test_multiplier(); iter++)
{
arb_t x, y, nu;
slong prec;
arb_init(x);
arb_init(y);
arb_init(nu);
prec = 2 + n_randint(state, 200);
arb_randtest(nu, state, 1 + n_randint(state, 200), 1 + n_randint(state, 100));
arb_pos_inf(x);
arb_hypgeom_bessel_j(y, nu, x, prec);
if (arb_is_finite(nu) && !arb_is_zero(y))
{
flint_printf("FAIL: positive infinity\n\n");
flint_printf("x = "); arb_printd(x, 50); flint_printf("\n\n");
flint_printf("nu = "); arb_printd(nu, 50); flint_printf("\n\n");
flint_printf("y = "); arb_printd(y, 50); flint_printf("\n\n");
flint_abort();
}
arb_neg_inf(x);
arb_hypgeom_bessel_j(y, nu, x, prec);
if (arb_is_finite(nu) && !arb_is_zero(y))
{
flint_printf("FAIL: negative infinity\n\n");
flint_printf("x = "); arb_printd(x, 50); flint_printf("\n\n");
flint_printf("nu = "); arb_printd(nu, 50); flint_printf("\n\n");
flint_printf("y = "); arb_printd(y, 50); flint_printf("\n\n");
flint_abort();
}
arb_indeterminate(x);
arb_hypgeom_bessel_j(y, nu, x, prec);
if (!arf_is_nan(arb_midref(y)))
{
flint_printf("FAIL: indeterminate\n\n");
flint_printf("x = "); arb_printd(x, 50); flint_printf("\n\n");
flint_printf("nu = "); arb_printd(nu, 50); flint_printf("\n\n");
flint_printf("y = "); arb_printd(y, 50); flint_printf("\n\n");
flint_abort();
}
arb_clear(x);
arb_clear(y);
arb_clear(nu);
}
flint_randclear(state);
flint_cleanup();
flint_printf("PASS\n");
return EXIT_SUCCESS;
}

79
arb_hypgeom/test/t-bessel_y.c Normal file
View file

@ -0,0 +1,79 @@
/*
Copyright (C) 2020 D.H.J. Polymath
This file is part of Arb.
Arb is free software: you can redistribute it and/or modify it under
the terms of the GNU Lesser General Public License (LGPL) as published
by the Free Software Foundation; either version 2.1 of the License, or
(at your option) any later version. See <http://www.gnu.org/licenses/>.
*/
#include "arb_hypgeom.h"
int main()
{
slong iter;
flint_rand_t state;
flint_printf("bessel_y....");
fflush(stdout);
flint_randinit(state);
for (iter = 0; iter < 1000 * arb_test_multiplier(); iter++)
{
arb_t x, y, nu;
slong prec;
arb_init(x);
arb_init(y);
arb_init(nu);
prec = 2 + n_randint(state, 200);
arb_randtest(nu, state, 1 + n_randint(state, 200), 1 + n_randint(state, 100));
arb_pos_inf(x);
arb_hypgeom_bessel_y(y, nu, x, prec);
if (arb_is_finite(nu) && !arb_is_zero(y))
{
flint_printf("FAIL: positive infinity\n\n");
flint_printf("x = "); arb_printd(x, 50); flint_printf("\n\n");
flint_printf("nu = "); arb_printd(nu, 50); flint_printf("\n\n");
flint_printf("y = "); arb_printd(y, 50); flint_printf("\n\n");
flint_abort();
}
arb_neg_inf(x);
arb_hypgeom_bessel_y(y, nu, x, prec);
if (arb_is_finite(nu) && !arb_is_zero(y))
{
flint_printf("FAIL: negative infinity\n\n");
flint_printf("x = "); arb_printd(x, 50); flint_printf("\n\n");
flint_printf("nu = "); arb_printd(nu, 50); flint_printf("\n\n");
flint_printf("y = "); arb_printd(y, 50); flint_printf("\n\n");
flint_abort();
}
arb_indeterminate(x);
arb_hypgeom_bessel_y(y, nu, x, prec);
if (!arf_is_nan(arb_midref(y)))
{
flint_printf("FAIL: indeterminate\n\n");
flint_printf("x = "); arb_printd(x, 50); flint_printf("\n\n");
flint_printf("nu = "); arb_printd(nu, 50); flint_printf("\n\n");
flint_printf("y = "); arb_printd(y, 50); flint_printf("\n\n");
flint_abort();
}
arb_clear(x);
arb_clear(y);
arb_clear(nu);
}
flint_randclear(state);
flint_cleanup();
flint_printf("PASS\n");
return EXIT_SUCCESS;
}