A100221 -id:A100221 - cp's OEIS frontend

A100220 Decimal expansion of Product_{k>=1} (1 - 1/3^k).

5, 6, 0, 1, 2, 6, 0, 7, 7, 9, 2, 7, 9, 4, 8, 9, 4, 4, 9, 6, 9, 7, 9, 2, 2, 4, 3, 3, 1, 4, 1, 4, 0, 0, 1, 4, 3, 7, 9, 7, 3, 6, 3, 3, 3, 7, 9, 8, 3, 6, 2, 4, 6, 4, 4, 6, 2, 9, 5, 6, 2, 9, 7, 3, 1, 7, 5, 3, 3, 9, 6, 3, 0, 8, 9, 0, 3, 3, 7, 9, 4, 7, 0, 7, 7, 1, 6, 9, 1, 8, 7, 7, 0, 5, 3, 6, 7, 4, 3, 3, 4, 8

Offset: 0

Eric W. Weisstein, Nov 09 2004

Limit of the probability that a random N X N matrix, with entries chosen independently and uniformly from the field F_3, is nonsingular [Morrison (2006)]. - L. Edson Jeffery, Jan 22 2012

			0.56012607792794894496979224331414001437973633379836...

G. C. Greubel, Table of n, a(n) for n = 0..1200
Richard J. McIntosh, Some Asymptotic Formulae for q-Hypergeometric Series, Journal of the London Mathematical Society, Vol. 51, No. 1 (1995), pp. 120-136; alternative link.
Kent E. Morrison, Integer Sequences and Matrices Over Finite Fields, Journal of Integer Sequences, Vol. 9 (2006), Article 06.2.1.
Eric Weisstein's World of Mathematics, Infinite Product.

Cf. A048651, A027871.

Cf. A000203, A100221, A100222, A132019, A132034, A132035, A132036, A132037, A132038, A258458.

N[(3^(1/24)*EllipticThetaPrime[1, 0, 1/Sqrt[3]]^(1/3))/2^(1/3)]
N[QPochhammer[1/3,1/3]] (* G. C. Greubel, Nov 27 2015 *)

exp(-Sum_{k > 0} sigma_1(k)/k/3^k) = exp(-Sum_{k > 0} A000203(k)/k/3^k). - Hieronymus Fischer, Aug 07 2007
Product_{k >= 1} (1 - 1/3^k) = (1/3; 1/3){infinity}, where (a;q){infinity} is the q-Pochhammer symbol. - G. C. Greubel, Nov 27 2015
From Peter Bala, Jan 18 2021: (Start)
Constant C = (1 - 1/3)*Sum_{n >= 0} (-1/3)^n/Product_{k = 1..n} (3^k - 1);
C = (1 - 1/3)*(1 - 1/9)*Sum_{n >= 0} (-1/9)^n/Product_{k = 1..n} (3^k - 1);
C = (1 - 1/3)*(1 - 1/9)*(1 - 1/27)*Sum_{n >= 0} (-1/27)^n/Product_{k = 1..n} (3^k - 1), and so on. (End)
From Amiram Eldar, Feb 19 2022: (Start)
Equals sqrt(2*Pi/log(3)) * exp(log(3)/24 - Pi^2/(6*log(3))) * Product_{k>=1} (1 - exp(-4*k*Pi^2/log(3))) (McIntosh, 1995).
Equals Sum_{n>=0} (-1)^n/A027871(n). (End)

A259149 Decimal expansion of phi(exp(-2*Pi)), where phi(q) = Product_{n>=1} (1-q^n) is the Euler modular function.

Original entry on oeis.org

9, 9, 8, 1, 2, 9, 0, 6, 9, 9, 2, 5, 9, 5, 8, 5, 1, 3, 2, 7, 9, 9, 6, 2, 3, 2, 2, 2, 4, 5, 2, 7, 3, 8, 7, 8, 1, 3, 0, 7, 3, 8, 4, 3, 5, 3, 6, 5, 8, 1, 6, 4, 6, 1, 7, 5, 4, 0, 7, 8, 1, 4, 0, 2, 8, 2, 9, 9, 8, 5, 8, 0, 4, 6, 6, 0, 1, 9, 2, 8, 0, 7, 3, 5, 7, 1, 8, 2, 4, 4, 7, 3, 8, 7, 7, 7, 3, 7, 9, 3, 7, 7, 1, 9

Offset: 0

Jean-François Alcover, Jun 19 2015

			0.99812906992595851327996232224527387813073843536581646175407814028299858...

Istvan Mezo, Several special values of Jacobi theta functions arXiv:1106.2703 [math.CA], 2011-2013
Eric Weisstein's MathWorld, Infinite Product
Eric Weisstein's MathWorld, Jacobi Theta Functions
Eric Weisstein's MathWorld, q-Pochhammer Symbol
Wikipedia, Euler function

Cf. A048651 phi(1/2), A100220 phi(1/3), A100221 phi(1/4), A100222 phi(1/5), A132034 phi(1/6), A132035 phi(1/7), A132036 phi(1/8), A132037 phi(1/9), A132038 phi(1/10), A368211 phi(exp(-Pi/16)), A292862 phi(exp(-Pi/8)), A292863 phi(exp(-Pi/4)), A259147 phi(exp(-Pi/2)), A259148 phi(exp(-Pi)), A292888 phi(exp(-3*Pi)), A259150 phi(exp(-4*Pi)), A292905 phi(exp(-5*Pi)), A363018 phi(exp(-6*Pi)), A363117 phi(exp(-7*Pi)), A259151 phi(exp(-8*Pi)), A363118 phi(exp(-9*Pi)), A363019 phi(exp(-10*Pi)), A363081 phi(exp(-11*Pi)), A363020 phi(exp(-12*Pi)), A363178 phi(exp(-13*Pi)), A363119 phi(exp(-14*Pi)), A363179 phi(exp(-15*Pi)), A292864 phi(exp(-16*Pi)), A363120 phi(exp(-18*Pi)), A363021 phi(exp(-20*Pi)).

Cf. A292821, A292825, A292829.

phi[q_] := QPochhammer[q, q]; RealDigits[phi[Exp[-2Pi]], 10, 104] // First

phi(q) = QPochhammer(q,q) = (q;q)_infinity.
phi(q) also equals theta'(1, 0, sqrt(q))^(1/3)/(2^(1/3)*q^(1/24)), where theta' is the derivative of the elliptic theta function theta(a,u,q) w.r.t. u.
phi(exp(-2*Pi)) = exp(Pi/12)*Gamma(1/4)/(2*Pi^(3/4)).

A259148 Decimal expansion of phi(exp(-Pi)), where phi(q) = Product_{n>=1} (1-q^n) is the Euler modular function.

Original entry on oeis.org

9, 5, 4, 9, 1, 8, 7, 8, 9, 9, 8, 7, 6, 7, 4, 1, 0, 3, 7, 5, 1, 2, 3, 3, 9, 7, 8, 1, 1, 0, 2, 9, 1, 0, 7, 7, 6, 3, 2, 7, 1, 5, 3, 7, 3, 8, 0, 7, 8, 0, 5, 2, 8, 3, 1, 4, 8, 7, 9, 9, 1, 9, 1, 6, 7, 6, 0, 9, 4, 0, 3, 5, 6, 8, 6, 7, 1, 4, 5, 3, 9, 5, 3, 4, 9, 8, 1, 5, 1, 8, 6, 7, 4, 4, 6, 1, 0, 9, 8, 7, 6, 7, 4, 9

Offset: 0

Jean-François Alcover, Jun 19 2015

			0.954918789987674103751233978110291077632715373807805283148799191676094...

Istvan Mezo, Several special values of Jacobi theta functions, arXiv:1106.2703 [math.CA], 2011-2013.
Eric Weisstein's MathWorld, Infinite Product
Eric Weisstein's MathWorld, Jacobi Theta Functions
Eric Weisstein's MathWorld, q-Pochhammer Symbol
Wikipedia, Euler function

Cf. A048651 phi(1/2), A100220 phi(1/3), A100221 phi(1/4), A100222 phi(1/5), A132034 phi(1/6), A132035 phi(1/7), A132036 phi(1/8), A132037 phi(1/9), A132038 phi(1/10), A368211 phi(exp(-Pi/16)), A292862 phi(exp(-Pi/8)), A292863 phi(exp(-Pi/4)), A259147 phi(exp(-Pi/2)), A259149 phi(exp(-2*Pi)), A292888 phi(exp(-3*Pi)), A259150 phi(exp(-4*Pi)), A292905 phi(exp(-5*Pi)), A363018 phi(exp(-6*Pi)), A363117 phi(exp(-7*Pi)), A259151 phi(exp(-8*Pi)), A363118 phi(exp(-9*Pi)), A363019 phi(exp(-10*Pi)), A363081 phi(exp(-11*Pi)), A363020 phi(exp(-12*Pi)), A363178 phi(exp(-13*Pi)), A363119 phi(exp(-14*Pi)), A363179 phi(exp(-15*Pi)), A292864 phi(exp(-16*Pi)), A363120 phi(exp(-18*Pi)), A363021 phi(exp(-20*Pi)).

Cf. A292820, A292824, A292828.

phi[q_] := QPochhammer[q, q]; RealDigits[phi[Exp[-Pi]], 10, 104] // First

phi(q) = QPochhammer(q,q) = (q;q)_infinity.
phi(q) also equals theta'(1, 0, sqrt(q))^(1/3)/(2^(1/3)*q^(1/24)), where theta' is the derivative of the elliptic theta function theta(a,u,q) w.r.t. u.
phi(exp(-Pi)) = exp(Pi/24)*Gamma(1/4)/(2^(7/8)*Pi^(3/4)).
Equals 1/exp(A255695). - Hugo Pfoertner, May 28 2025

A259150 Decimal expansion of phi(exp(-4*Pi)), where phi(q) = Product_{n>=1} (1-q^n) is the Euler modular function.

Original entry on oeis.org

9, 9, 9, 9, 9, 6, 5, 1, 2, 6, 4, 5, 4, 8, 2, 2, 3, 4, 2, 9, 5, 0, 9, 8, 9, 1, 6, 8, 5, 2, 1, 1, 9, 2, 4, 7, 6, 5, 7, 5, 0, 9, 7, 8, 9, 3, 2, 6, 3, 4, 5, 8, 4, 8, 4, 4, 7, 7, 3, 2, 6, 9, 1, 0, 0, 4, 7, 2, 0, 1, 5, 2, 5, 7, 6, 7, 4, 4, 8, 2, 0, 3, 2, 6, 8, 9, 6, 2, 4, 9, 7, 3, 0, 1, 1, 9, 7, 2, 8, 1, 0, 8, 9

Offset: 0

Jean-François Alcover, Jun 19 2015

			0.99999651264548223429509891685211924765750978932634584844773269100472...

Istvan Mezo, Several special values of Jacobi theta functions, arXiv:1106.2703 [math.CA], 2011-2013.
Eric Weisstein's MathWorld, Infinite Product
Eric Weisstein's MathWorld, Jacobi Theta Functions
Eric Weisstein's MathWorld, q-Pochhammer Symbol
Wikipedia, Euler function

Cf. A048651 phi(1/2), A100220 phi(1/3), A100221 phi(1/4), A100222 phi(1/5), A132034 phi(1/6), A132035 phi(1/7), A132036 phi(1/8), A132037 phi(1/9), A132038 phi(1/10), A292862 phi(exp(-Pi/8)), A292863 phi(exp(-Pi/4)), A259147 phi(exp(-Pi/2)), A259148 phi(exp(-Pi)), A259149 phi(exp(-2*Pi)), A292888 phi(exp(-3*Pi)), A292905 phi(exp(-5*Pi)), A363018 phi(exp(-6*Pi)), A363117 phi(exp(-7*Pi)), A259151 phi(exp(-8*Pi)), A363118 phi(exp(-9*Pi)), A363019 phi(exp(-10*Pi)), A363081 phi(exp(-11*Pi)), A363020 phi(exp(-12*Pi)), A363178 phi(exp(-13*Pi)), A363119 phi(exp(-14*Pi)), A363179 phi(exp(-15*Pi)), A292864 phi(exp(-16*Pi)), A363120 phi(exp(-18*Pi)), A363021 phi(exp(-20*Pi)).

Cf. A000706, A292822, A292826.

phi[q_] := QPochhammer[q, q]; RealDigits[phi[Exp[-4*Pi]], 10, 103] // First

phi(q) = QPochhammer(q,q) = (q;q)_infinity.
phi(q) also equals theta'(1, 0, sqrt(q))^(1/3)/(2^(1/3)*q^(1/24)), where theta' is the derivative of the elliptic theta function theta(a,u,q) w.r.t. u.
phi(exp(-4*Pi)) = exp(Pi/6)*Gamma(1/4)/(2^(11/8)*Pi^(3/4)).
A259150 = A259148 * exp(Pi/8)/sqrt(2). - Vaclav Kotesovec, Jul 03 2017

A259151 Decimal expansion of phi(exp(-8*Pi)), where phi(q) = Product_{n>=1} (1-q^n) is the Euler modular function.

Original entry on oeis.org

9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 8, 7, 8, 3, 8, 4, 4, 3, 2, 9, 0, 4, 4, 2, 7, 8, 8, 1, 4, 0, 9, 9, 8, 2, 7, 0, 9, 5, 9, 4, 8, 6, 9, 4, 5, 6, 7, 3, 8, 5, 2, 1, 9, 8, 5, 4, 3, 8, 7, 2, 7, 2, 5, 5, 8, 3, 6, 9, 9, 1, 5, 5, 2, 6, 6, 6, 2, 6, 9, 2, 7, 0, 0, 5, 5, 6, 6, 7, 5, 0, 6, 5, 2, 1, 7, 6, 4, 9, 3, 2, 7, 9, 8

Offset: 0

Jean-François Alcover, Jun 19 2015

			0.999999999987838443290442788140998270959486945673852198543872725583699...

Istvan Mezo, Several special values of Jacobi theta functions, arXiv:1106.2703 [math.CA], 2011-2013.
Eric Weisstein's MathWorld, Infinite Product
Eric Weisstein's MathWorld, Jacobi Theta Functions
Eric Weisstein's MathWorld, q-Pochhammer Symbol
Wikipedia, Euler function

Cf. A048651 phi(1/2), A100220 phi(1/3), A100221 phi(1/4), A100222 phi(1/5), A132034 phi(1/6), A132035 phi(1/7), A132036 phi(1/8), A132037 phi(1/9), A132038 phi(1/10), A292862 phi(exp(-Pi/8)), A292863 phi(exp(-Pi/4)), A259147 phi(exp(-Pi/2)), A259148 phi(exp(-Pi)), A259149 phi(exp(-2*Pi)), A292888 phi(exp(-3*Pi)), A259150 phi(exp(-4*Pi)), A292905 phi(exp(-5*Pi)), A363018 phi(exp(-6*Pi)), A363117 phi(exp(-7*Pi)), A363118 phi(exp(-9*Pi)), A363019 phi(exp(-10*Pi)), A363081 phi(exp(-11*Pi)), A363020 phi(exp(-12*Pi)), A363178 phi(exp(-13*Pi)), A363119 phi(exp(-14*Pi)), A363179 phi(exp(-15*Pi)), A292864 phi(exp(-16*Pi)), A363120 phi(exp(-18*Pi)), A363021 phi(exp(-20*Pi)).

phi[q_] := QPochhammer[q, q]; RealDigits[phi[Exp[-8*Pi]], 10, 103] // First

phi(q) = QPochhammer(q,q) = (q;q)_infinity.
phi(q) also equals theta'(1, 0, sqrt(q))^(1/3)/(2^(1/3)*q^(1/24)), where theta' is the derivative of the elliptic theta function theta(a,u,q) w.r.t. u.
phi(exp(-8*Pi)) = (sqrt(2) - 1)^(1/4)*exp(Pi/3)*(Gamma(1/4)/(2^(29/16)*Pi^(3/4))).
A259151 = A259147 * exp(5*Pi/16)/2. - Vaclav Kotesovec, Jul 03 2017

A027637 a(n) = Product_{i=1..n} (4^i - 1).

Original entry on oeis.org

1, 3, 45, 2835, 722925, 739552275, 3028466566125, 49615367752825875, 3251543125681443718125, 852369269595510700600441875, 893773106866112632882108339078125, 3748755223447856814435325652920396921875

Offset: 0

N. J. A. Sloane

The q-analog of double factorials (A000165) evaluated at q=2. - Michael Somos, Sep 12 2014
3^n*5^(floor(n/2))|a(n) for n>=1. - G. C. Greubel, Nov 21 2015
Given probability p = 1/4^n that an outcome will occur at the n-th stage of an infinite process, then starting at n=1, 1-a(n)/A053763(n+1) is the probability that the outcome has occurred up to and including the n-th iteration. The limiting ratio is 1-A100221 ~ 0.3114625. - Bob Selcoe, Mar 01 2016

G. C. Greubel, Table of n, a(n) for n = 0..50

Cf. A000165.
Sequences of the form q-Pochhammer(n, q, q): A005329 (q=2), A027871 (q=3), this sequence (q=4), A027872 (q=5), A027873 (q=6), A027875 (q=7), A027876 (q=8), A027877 (q=9), A027878 (q=10), A027879 (q=11), A027880 (q=12).
Cf. A053763, A100221.

[1] cat [&*[4^k-1: k in [1..n]]: n in [1..11]]; // Vincenzo Librandi, Dec 24 2015

A027637 := proc(n)
    mul( 4^i-1,i=1..n) ;
end proc:
seq(A027637(n),n=0..8) ;

A027637 = Table[Product[4^i - 1, {i, n}], {n, 0, 9}] (* Alonso del Arte, Nov 14 2011 *)
a[ n_] := If[ n < 0, 0, Product[ (q^(2 k) - 1) / (q - 1), {k, n}] /. q -> 2]; (* Michael Somos, Sep 12 2014 *)
Abs@QPochhammer[4, 4, Range[0, 10]] (* Vladimir Reshetnikov, Nov 20 2015 *)

a(n) = prod(i=1, n, 4^i-1); \\ Michel Marcus, Nov 21 2015

from sage.combinat.q_analogues import q_pochhammer
def A027637(n): return (-1)^n*q_pochhammer(n, 4, 4)
[A027637(n) for n in (0..15)] # G. C. Greubel, Aug 04 2022

a(n) ~ c * 2^(n*(n+1)), where c = Product_{k>=1} (1-1/4^k) = A100221 = 0.688537537120339715456514357293508184675549819378... . - Vaclav Kotesovec, Nov 21 2015
a(n) = 4^(binomial(n+1,2))*(1/4;1/4){n} = (4; 4){n}, where (a;q){n} is the q-Pochhammer symbol. - _G. C. Greubel, Dec 24 2015
G.f.: Sum_{n>=0} 4^(n*(n+1)/2)*x^n / Product_{k=0..n} (1 + 4^k*x). - Ilya Gutkovskiy, May 22 2017
Sum_{n>=0} (-1)^n/a(n) = A100221. - Amiram Eldar, May 07 2023

A100222 Decimal expansion of Product_{k>=1} (1-1/5^k).

Original entry on oeis.org

7, 6, 0, 3, 3, 2, 7, 9, 5, 8, 7, 1, 2, 3, 2, 4, 2, 0, 1, 0, 1, 4, 8, 8, 2, 9, 6, 2, 9, 2, 6, 6, 5, 1, 5, 9, 4, 7, 4, 3, 4, 3, 9, 2, 8, 8, 7, 3, 2, 0, 5, 7, 9, 5, 1, 9, 8, 7, 7, 0, 9, 8, 4, 4, 0, 0, 8, 8, 8, 8, 5, 9, 9, 5, 3, 7, 5, 5, 2, 3, 3, 6, 5, 2, 7, 5, 1, 5, 3, 4, 0, 8, 6, 6, 1, 4, 3, 2, 3, 2, 5, 6

Offset: 0

Eric W. Weisstein, Nov 09 2004

			0.76033279587123242010148829629266515947434392887320...

G. C. Greubel, Table of n, a(n) for n = 0..1200
Richard J. McIntosh, Some Asymptotic Formulae for q-Hypergeometric Series, Journal of the London Mathematical Society, Vol. 51, No. 1 (1995), pp. 120-136; alternative link.
Eric Weisstein's World of Mathematics, Infinite Product.

Cf. A027872, A048651, A100220, A100221.

Cf. A000203, A100220, A100221, A132020, A132034, A132035, A132036, A132037, A132038, A258460.

(5^(1/24)*EllipticThetaPrime[1, 0, 1/Sqrt[5]]^(1/3))/2^(1/3)
N[QPochhammer[1/5,1/5]] (* G. C. Greubel, Dec 01 2015 *)

prodinf(k=1, 1 - 1/(5^k)) \\ Amiram Eldar, May 09 2023

Equals exp(-Sum_{k>0} sigma_1(k)/(k*5^k)) = exp(-Sum_{k>0} A000203(k)/(k*5^k)). - Hieronymus Fischer, Aug 07 2007
Equals (1/5; 1/5){infinity}, where (a;q){infinity} is the q-Pochhammer symbol. - G. C. Greubel, Dec 01 2015
From Amiram Eldar, May 09 2023: (Start)
Equals sqrt(2*Pi/log(5)) * exp(log(5)/24 - Pi^2/(6*log(5))) * Product_{k>=1} (1 - exp(-4*k*Pi^2/log(5))) (McIntosh, 1995).
Equals Sum_{n>=0} (-1)^n/A027872(n). (End)

A053291 Nonsingular n X n matrices over GF(4).

Original entry on oeis.org

1, 3, 180, 181440, 2961100800, 775476766310400, 3251791214634074112000, 218210695042457748180566016000, 234298374547168764346587444978647040000, 4025200069765920285793155323595159699896401920000, 1106437515026051855463365435310419366987397763763798016000000

Offset: 0

Stephen G Penrice, Mar 04 2000

Vincenzo Librandi, Table of n, a(n) for n = 0..40

Cf. A002884, A003788, A027637, A053763, A053290, A053292, A053293.

Cf. A100221, A115490.

[1] cat [&*[(4^n - 4^k): k in [0..n-1]]: n in [1..8]]; // Bruno Berselli, Jan 28 2013

Table[Product[4^n - 4^k, {k,0,n-1}], {n,0,10}] (* Geoffrey Critzer, Jan 26 2013 *)

for(n=0,10, print1(prod(k=0,n-1, 4^n - 4^k), ", ")) \\ G. C. Greubel, May 31 2018

a(n) = (4^n - 1)*(4^n - 4)*...*(4^n - 4^(n-1)).
a(n) = A053763(n)*A027637(n). - Bruno Berselli, Jan 30 2013
From Amiram Eldar, Jul 06 2025: (Start)
a(n) = Product_{k=1..n} A115490(k).
a(n) ~ c * 4^(n^2), where c = A100221. (End)

More terms from Vladeta Jovovic, Mar 16 2000

A003956 Order of complex Clifford group of degree 2^n arising in quantum coding theory.

Original entry on oeis.org

8, 192, 92160, 743178240, 97029351014400, 203286581427673497600, 6819500449352277792129024000, 3660967964237442812098963052691456000, 31446995505814020383166371418359014222725120000

Offset: 0

N. J. A. Sloane and Peter Shor

T. D. Noe, Table of n, a(n) for n = 0..20
Simon Burton, Elijah Durso-Sabina, and Natalie C. Brown, Genons, Double Covers and Fault-tolerant Clifford Gates, arXiv:2406.09951 [quant-ph], 2024. See p. 18.
A. R. Calderbank, E. M. Rains, P. W. Shor, and N. J. A. Sloane, Quantum error correction via codes over GF(4), arXiv:quant-ph/9608006, 1996-1997; IEEE Trans. Inform. Theory, 44 (1998), 1369-1387.
G. Nebe, E. M. Rains, and N. J. A. Sloane, The invariants of the Clifford groups, arXiv:math/0001038 [math.CO], 2000; Des. Codes Crypt. 24 (2001), 99-121.
G. Nebe, E. M. Rains, and N. J. A. Sloane, Self-Dual Codes and Invariant Theory, Springer, Berlin, 2006.
Edwin Pednault, An alternative approach to optimal wire cutting without ancilla qubits, arXiv:2303.08287 [quant-ph], 2023.
Tefjol Pllaha, Olav Tirkkonen, and Robert Calderbank, Binary Subspace Chirps, arXiv:2102.12384 [cs.IT], 2021.
Bernhard Runge, Codes and Siegel modular forms, Discrete Math. 148 (1996), 175-204.
Peter Selinger, Generators and relations for n-qubit Clifford operators, arXiv:1310.6813 [quant-ph], 2013; Log. Methods Comput. Sci. 11 (2:10) (2015), 1-17, doi:10.2168/LMCS-11(2:10)2015.
Index entries for sequences related to groups.

Cf. A001309, A014116, A014115, A027672, A100221.

Equals twice A027638.

List([0..10], n-> 2^((n+1)^2 +2)*Product([1..n], j-> 4^j -1) ); # G. C. Greubel, Sep 24 2019

[n eq 0 select 8 else 2^((n+1)^2+2)*(&*[4^j-1: j in [1..n]]): n in [0..10]]; // G. C. Greubel, Sep 24 2019

a(n):= 2^(n^2+2*n+3)*mul(4^j-1, j=1..n); seq(a(n), n=0..10); # modified by G. C. Greubel, Sep 24 2019

Table[2^(n^2+2n+3) Product[4^j-1,{j,n}],{n,0,10}] (* Harvey P. Dale, Nov 03 2017 *)

vector(11, n, 2^(n^2 +2)*prod(j=1,n-1, 4^j-1) ) \\ G. C. Greubel, Sep 24 2019

from math import prod
def A003956(n): return prod((1<Chai Wah Wu, Jun 20 2022

[2^((n+1)^2 +2)*product(4^j -1 for j in (1..n)) for n in (0..10)] # G. C. Greubel, Sep 24 2019

From Amiram Eldar, Jul 06 2025: (Start)
a(n) = 2^(n^2+2*n+3) * Product_{k=1..n} (4^k-1).
a(n) ~ c * 2^(2*n^2+3*n+3), where c = A100221. (End)

A001309 Order of real Clifford group L_n connected with Barnes-Wall lattices in dimension 2^n.

Original entry on oeis.org

2, 16, 2304, 5160960, 178362777600, 96253116206284800, 819651496316379542323200, 110857799304670627788849414144000, 238987988705420266773820308079698247680000

Offset: 0

N. J. A. Sloane, Peter Shor

A. R. Calderbank, E. M. Rains, P. W. Shor and N. J. A. Sloane, Quantum error correction via codes over GF(4), arXiv:quant-ph/9608006, 1996-1997; IEEE Trans. Inform. Theory, 44 (1998), 1369-1387.
G. Nebe, E. M. Rains and N. J. A. Sloane, Self-Dual Codes and Invariant Theory, Springer, Berlin, 2006.
G. Nebe, E. M. Rains and N. J. A. Sloane, The invariants of the Clifford groups, arXiv:math/0001038 [math.CO], 2000; Des. Codes Crypt. 24 (2001), 99-121.
Index entries for sequences related to Barnes-Wall lattices.
Index entries for sequences related to groups.

2^(2n+2) times order of Chevalley group D_n (2) (cf. A001308). Twice A014115. See also A014116, A003956 (for the complex group).

Cf. A100221.

2^(n^2+n+2) * (2^n - 1) * product('2^(2*i)-1','i'=1..n-1);

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 *)

from math import prod
def A001309(n): return 2 if n == 0 else ((1<Chai Wah Wu, Jun 20 2022

From Amiram Eldar, Jul 06 2025: (Start)
a(n) = 2^(n^2+n+2) * (2^n-1) * Product_{k=1..n-1} (2^(2*k)-1).
a(n) ~ c * 2^(2*n^2+n+2), where c = A100221. (End)

cp's OEIS Frontend

A100220 Decimal expansion of Product_{k>=1} (1 - 1/3^k).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A259149 Decimal expansion of phi(exp(-2*Pi)), where phi(q) = Product_{n>=1} (1-q^n) is the Euler modular function.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A259148 Decimal expansion of phi(exp(-Pi)), where phi(q) = Product_{n>=1} (1-q^n) is the Euler modular function.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A259150 Decimal expansion of phi(exp(-4*Pi)), where phi(q) = Product_{n>=1} (1-q^n) is the Euler modular function.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A259151 Decimal expansion of phi(exp(-8*Pi)), where phi(q) = Product_{n>=1} (1-q^n) is the Euler modular function.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A027637 a(n) = Product_{i=1..n} (4^i - 1).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

SageMath

Formula

A100222 Decimal expansion of Product_{k>=1} (1-1/5^k).

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A053291 Nonsingular n X n matrices over GF(4).

Views

Author