OFFSET
0,1
LINKS
Bill Allombert, SumEulerLog procedure, Pari gp procedures.
FORMULA
EXAMPLE
0.8844818339635238851965361...
MAPLE
Zeta(2, 2)/Zeta(2) -Zeta(1, 2)^2/Zeta(2)^2 ; evalf(%) ; # R. J. Mathar, May 07 2025
MATHEMATICA
RealDigits[(6 (-6 Zeta'[2]^2 + Pi^2 Zeta''[2]))/Pi^4, 10, 105][[1]]
PROG
(PARI)
/* Procedure by Bill Allombert */
default(realprecision, 105);
SumEulerLog(f, s=1, a=2, d=1)=
{
my(p=variable(f));
if(type(d)!="t_INT", error("incorrect type in SumEulerLog"));
if (d<0,
d=-d;
for(i=1, d, f=deriv(f)*p);
(-1)^d*intnum(t=1, [oo, log(2)*s], (t-1)^(d-1)*sumeulerrat(f, t*s, a))/gamma(d)
, d==0,
sumeulerrat(f, s, a)
, d>0,
my(S=0, v);
my(prec=getlocalbitprec());
f=subst(f, 'p, 1/p)+O(p^prec);
for(i=1, d, f=intformal(f/p));
v = valuation(f, p);
f = truncate(f);
for(i=v, prec/(v-1),
S += polcoef(f, i)*derivnum(t=1, sumeulerrat(1/p, t*i*s, a), d));
(-1)^d*S);
}
SumEulerLog(p^2/(p^2-1)^2, , , 2)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Artur Jasinski, Apr 27 2025
STATUS
approved
