1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
/*
Copyright (C) 2016 Fredrik Johansson
This file is part of FLINT.
FLINT 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 3 of the License, or
(at your option) any later version. See <https://www.gnu.org/licenses/>.
*/
#include "arb.h"
#include "acb_dirichlet.h"
void
acb_dirichlet_zeta_rs_d_coeffs(arb_ptr d, const arb_t sigma, slong k, slong prec)
{
slong j, r, m;
arb_t u;
arb_init(u);
arb_one(u);
arb_submul_ui(u, sigma, 2, prec);
if (k == 0)
{
arb_one(d);
arb_zero(d + 1);
return;
}
for (j = (3 * k) / 2; j >= 0; j--)
{
m = 3 * k - 2 * j;
if (m != 0)
{
arb_mul_2exp_si(d + j, d + j, -1);
if (j >= 1)
arb_addmul(d + j, d + j - 1, u, prec);
arb_div_ui(d + j, d + j, 2 * m, prec);
if (j >= 2)
arb_submul_ui(d + j, d + j - 2, m + 1, prec);
}
}
if (k % 2 == 0)
{
j = (3 * k) / 2;
arb_zero(d + j);
arb_set_ui(u, 2);
for (r = j - 1; r >= 0; r--)
{
if ((j - r) % 2 == 0)
arb_submul(d + j, d + r, u, prec);
else
arb_addmul(d + j, d + r, u, prec);
arb_mul_ui(u, u, 4 * j - 4 * r + 2, prec);
}
}
arb_zero(d + (3 * k) / 2 + 1);
arb_clear(u);
}