%I #8 Aug 24 2018 22:12:29
%S 1,1,1,7,1,1,1,9,7,1,1,7,1,1,1,427,1,7,1,7,1,1,1,9,7,1,9,7,1,1,1,471,
%T 1,1,1,49,1,1,1,9,1,1,1,7,7,1,1,427,7,7,1,7,1,9,1,9,1,1,1,7,1,1,7,
%U 4099,1,1,1,7,1,1,1,63,1,1,7,7,1,1,1,427,427,1,1,7,1,1,1,9,1,7,1,7,1,1,1,471,1,7,7,49,1,1,1,9,1
%N Numerators of sequence whose Dirichlet convolution with itself yields A046644.
%C Multiplicative because A046644 is.
%C No negative terms among the first 2^20 terms. Is the sequence nonnegative?
%H Antti Karttunen, <a href="/A317940/b317940.txt">Table of n, a(n) for n = 1..65537</a>
%F a(n) = numerator of f(n), where f(1) = 1, f(n) = (1/2) * (A046644(n) - Sum_{d|n, d>1, d<n} f(d) * f(n/d)) for n > 1.
%o (PARI)
%o up_to = 65537;
%o DirSqrt(v) = {my(n=#v, u=vector(n)); u[1]=1; for(n=2, n, u[n]=(v[n]/v[1] - sumdiv(n, d, if(d>1&&d<n, u[d]*u[n/d], 0)))/2); u}; \\ From A317937.
%o A005187(n) = { my(s=n); while(n>>=1, s+=n); s; };
%o A046644(n) = factorback(apply(e -> 2^A005187(e),factor(n)[,2]));
%o v317940aux = DirSqrt(vector(up_to, n, A046644(n)));
%o A317940(n) = numerator(v317940aux[n]);
%Y Cf. A005187, A046644, A317934 (denominators), A317941.
%K nonn,frac,mult
%O 1,4
%A _Antti Karttunen_, Aug 14 2018
|