%I #27 Jun 21 2022 03:15:06
%S 2,16,2304,5160960,178362777600,96253116206284800,
%T 819651496316379542323200,110857799304670627788849414144000,
%U 238987988705420266773820308079698247680000
%N Order of real Clifford group L_n connected with Barnes-Wall lattices in dimension 2^n.
%H G. Nebe, E. M. Rains and N. J. A. Sloane, <a href="http://neilsloane.com/doc/cliff2.html">Self-Dual Codes and Invariant Theory</a>, Springer, Berlin, 2006.
%H A. R. Calderbank, E. M. Rains, P. W. Shor and N. J. A. Sloane, <a href="https://arxiv.org/abs/quant-ph/9608006">Quantum error correction via codes over GF(4)</a>, arXiv:quant-ph/9608006, 1996-1997; IEEE Trans. Inform. Theory, 44 (1998), 1369-1387.
%H G. Nebe, E. M. Rains and N. J. A. Sloane, <a href="https://arxiv.org/abs/math/0001038">The invariants of the Clifford groups</a>, arXiv:math/0001038 [math.CO], 2000; Des. Codes Crypt. 24 (2001), 99-121.
%H <a href="/index/Ba#BW">Index entries for sequences related to Barnes-Wall lattices</a>
%H <a href="/index/Gre#groups">Index entries for sequences related to groups</a>
%p 2^(n^2+n+2) * (2^n - 1) * product('2^(2*i)-1','i'=1..n-1);
%t a[0] = 2; a[n_] := 2^(n^2+n+2) * (2^n-1) * Product[2^(2*i)-1, {i, 1, n-1}]; Table[a[n], {n, 0, 8}] (* _Jean-François Alcover_, Jul 16 2015, after Maple *)
%o (Python)
%o from math import prod
%o def A001309(n): return 2 if n == 0 else ((1<<n)-1)*prod((1<<i)-1 for i in range(2,2*n-1,2)) << n*(n+1)+2 # _Chai Wah Wu_, Jun 20 2022
%Y 2^(2n+2) times order of Chevalley group D_n (2) (cf. A001308). Twice A014115. See also A014116, A003956 (for the complex group).
%K nonn,easy,nice
%O 0,1
%A _N. J. A. Sloane_, _Peter Shor_