2016-10-11 17:16:37 +02:00
|
|
|
/* This file is public domain. Author: Pascal Molin. */
|
|
|
|
|
|
|
|
#include <string.h>
|
|
|
|
#include <math.h>
|
2017-10-31 16:55:49 +01:00
|
|
|
#include "flint/profiler.h"
|
2016-10-11 17:16:37 +02:00
|
|
|
#include "acb_dirichlet.h"
|
|
|
|
|
|
|
|
static int usage(char *argv[])
|
|
|
|
{
|
2017-10-31 16:55:49 +01:00
|
|
|
printf("Computes central values (s = 0.5) of Dirichlet L-functions.\n\n");
|
|
|
|
printf("usage: %s [--quiet] [--check] [--prec <bits>] qmin qmax\n", argv[0]);
|
2016-10-11 17:16:37 +02:00
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
int main(int argc, char *argv[])
|
|
|
|
{
|
2017-10-31 16:55:49 +01:00
|
|
|
int i, check = 0, out = 1;
|
2016-10-11 17:16:37 +02:00
|
|
|
slong prec = 100, digits = 30;
|
|
|
|
ulong qmin, qmax, q;
|
|
|
|
acb_t s;
|
2017-09-18 18:20:47 +02:00
|
|
|
acb_dirichlet_hurwitz_precomp_t pre;
|
2016-10-11 17:16:37 +02:00
|
|
|
|
|
|
|
if (argc < 3)
|
|
|
|
return usage(argv);
|
|
|
|
|
|
|
|
for (i = 1; i < argc - 2; i++)
|
|
|
|
{
|
2017-10-31 16:55:49 +01:00
|
|
|
if (!strcmp(argv[i], "--quiet"))
|
2016-10-11 17:16:37 +02:00
|
|
|
out = 0;
|
2017-10-31 16:55:49 +01:00
|
|
|
else if (!strcmp(argv[i], "--check"))
|
|
|
|
check = 1;
|
|
|
|
else if (!strcmp(argv[i], "--prec"))
|
2016-10-11 17:16:37 +02:00
|
|
|
{
|
|
|
|
i++;
|
|
|
|
prec = atol(argv[i]);
|
|
|
|
digits = floor(prec * 0.3);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (argc < i + 2)
|
|
|
|
return usage(argv);
|
|
|
|
|
|
|
|
qmin = atol(argv[i]);
|
|
|
|
qmax = atol(argv[i+1]);
|
|
|
|
|
|
|
|
fflush(stdout);
|
|
|
|
|
|
|
|
acb_init(s);
|
2017-10-31 16:55:49 +01:00
|
|
|
|
|
|
|
TIMEIT_ONCE_START
|
|
|
|
|
2016-10-11 17:16:37 +02:00
|
|
|
acb_one(s);
|
|
|
|
acb_div_si(s, s, 2, prec);
|
|
|
|
|
2017-10-31 18:28:09 +01:00
|
|
|
acb_dirichlet_hurwitz_precomp_init_num(pre, s, 0,
|
2017-09-18 18:20:47 +02:00
|
|
|
(qmax - qmin + 1) * 0.5 * qmax, prec);
|
|
|
|
|
2016-10-11 17:16:37 +02:00
|
|
|
for (q = qmin; q <= qmax; q++)
|
|
|
|
{
|
|
|
|
ulong k;
|
|
|
|
dirichlet_group_t G;
|
2017-09-18 18:20:47 +02:00
|
|
|
dirichlet_char_t x;
|
2016-10-11 17:16:37 +02:00
|
|
|
acb_ptr z;
|
|
|
|
|
|
|
|
if (q % 4 == 2)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
dirichlet_group_init(G, q);
|
2017-09-18 18:20:47 +02:00
|
|
|
dirichlet_char_init(x, G);
|
2016-10-11 17:16:37 +02:00
|
|
|
|
|
|
|
z = _acb_vec_init(G->phi_q);
|
|
|
|
|
2017-10-31 18:28:09 +01:00
|
|
|
acb_dirichlet_l_vec_hurwitz(z, s, pre, G, prec);
|
2016-10-11 17:16:37 +02:00
|
|
|
|
2017-10-31 16:55:49 +01:00
|
|
|
if (out || check)
|
2016-10-11 17:16:37 +02:00
|
|
|
{
|
|
|
|
k = 0;
|
2017-09-18 18:20:47 +02:00
|
|
|
dirichlet_char_one(x, G);
|
|
|
|
while (dirichlet_char_next(x, G) >= 0)
|
2016-10-11 17:16:37 +02:00
|
|
|
{
|
|
|
|
k++;
|
2017-09-18 18:20:47 +02:00
|
|
|
if (dirichlet_conductor_char(G,x) < q)
|
2016-10-11 17:16:37 +02:00
|
|
|
continue;
|
2017-10-31 16:55:49 +01:00
|
|
|
if (acb_contains_zero(z + k))
|
|
|
|
{
|
|
|
|
flint_printf("Value could be zero!\n");
|
|
|
|
flint_printf("%wu,%wu: ", q, x->n);
|
|
|
|
acb_printn(z + k, digits, 0);
|
|
|
|
flint_printf("\n");
|
|
|
|
flint_abort();
|
|
|
|
}
|
|
|
|
|
|
|
|
if (out)
|
|
|
|
{
|
|
|
|
flint_printf("%wu,%wu: ", q, x->n);
|
|
|
|
acb_printn(z + k, digits, 0);
|
|
|
|
flint_printf("\n");
|
|
|
|
}
|
2016-10-11 17:16:37 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
_acb_vec_clear(z, G->phi_q);
|
2017-09-18 18:20:47 +02:00
|
|
|
dirichlet_char_clear(x);
|
2016-10-11 17:16:37 +02:00
|
|
|
dirichlet_group_clear(G);
|
|
|
|
}
|
|
|
|
|
2017-10-31 18:28:09 +01:00
|
|
|
acb_dirichlet_hurwitz_precomp_clear(pre);
|
2017-09-18 18:20:47 +02:00
|
|
|
|
2017-10-31 16:55:49 +01:00
|
|
|
acb_clear(s);
|
|
|
|
|
|
|
|
TIMEIT_ONCE_STOP
|
|
|
|
SHOW_MEMORY_USAGE
|
|
|
|
|
2016-10-11 17:16:37 +02:00
|
|
|
flint_cleanup();
|
|
|
|
return EXIT_SUCCESS;
|
|
|
|
}
|
2017-09-18 18:20:47 +02:00
|
|
|
|