|
%I #22 Sep 08 2022 08:45:00
%S 1,1,2,4,16,56,256,1072,11264,78976,672256,4653056,49810432,433429504,
%T 4448608256,39221579776,1914926104576,29475151020032,501759779405824,
%U 6238907914387456,120652091860975616,1751735807564578816,29062253310781161472,398033706586943258624
%N Number of degree-n permutations of order dividing 16.
%C Differs from A005388 first at n=32. - _Alois P. Heinz_, Feb 14 2013
%D R. P. Stanley, Enumerative Combinatorics, Cambridge, Vol. 2, 1999; see Example 5.2.10.
%H Alois P. Heinz, <a href="/A053503/b053503.txt">Table of n, a(n) for n = 0..200</a>
%H L. Moser and M. Wyman, <a href="http://dx.doi.org/10.4153/CJM-1955-020-0">On solutions of x^d = 1 in symmetric groups</a>, Canad. J. Math., 7 (1955), 159-168.
%F E.g.f.: exp(x + x^2/2 + x^4/4 + x^8/8 + x^16/16).
%p a:= proc(n) option remember; `if`(n<0, 0, `if`(n=0, 1,
%p add(mul(n-i, i=1..2^j-1)*a(n-2^j), j=0..4)))
%p end:
%p seq(a(n), n=0..25); # _Alois P. Heinz_, Feb 14 2013
%t a[n_]:= a[n] =If[n<0, 0, If[n==0, 1, Sum[Product[n-i, {i, 1, 2^j-1}]* a[n-2^j], {j, 0, 4}]]]; Table[a[n], {n, 0, 25}] (* _Jean-François Alcover_, Mar 19 2014, after _Alois P. Heinz_ *)
%t With[{m = 30}, CoefficientList[Series[Exp[x +x^2/2 +x^4/4 +x^8/8 + x^16/16], {x, 0, m}], x]*Range[0, m]!] (* _G. C. Greubel_, May 15 2019 *)
%o (PARI) my(x='x+O('x^30)); Vec(serlaplace( exp(x + x^2/2 + x^4/4 + x^8/8 + x^16/16) )) \\ _G. C. Greubel_, May 15 2019
%o (Magma) m:=30; R<x>:=PowerSeriesRing(Rationals(), m); b:=Coefficients(R!( Exp(x + x^2/2 + x^4/4 + x^8/8 + x^16/16) )); [Factorial(n-1)*b[n]: n in [1..m]]; // _G. C. Greubel_, May 15 2019
%o (Sage) m = 30; T = taylor(exp(x + x^2/2 + x^4/4 + x^8/8 + x^16/16), x, 0, m); [factorial(n)*T.coefficient(x, n) for n in (0..m)] # _G. C. Greubel_, May 15 2019
%Y Cf. A000085, A001470, A001472, A053495-A053505, A005388.
%Y Column k=16 of A008307.
%K nonn
%O 0,3
%A _N. J. A. Sloane_, Jan 15 2000
|
