A034254 -id:A034254 - cp's OEIS frontend

A034253 Triangle read by rows: T(n,k) = number of inequivalent linear [n,k] binary codes without 0 columns (n >= 1, 1 <= k <= n).

1, 1, 1, 1, 2, 1, 1, 3, 3, 1, 1, 4, 6, 4, 1, 1, 6, 12, 11, 5, 1, 1, 7, 21, 27, 17, 6, 1, 1, 9, 34, 63, 54, 25, 7, 1, 1, 11, 54, 134, 163, 99, 35, 8, 1, 1, 13, 82, 276, 465, 385, 170, 47, 9, 1, 1, 15, 120, 544, 1283, 1472, 847, 277, 61, 10, 1, 1, 18, 174, 1048, 3480

Offset: 1

N. J. A. Sloane

"A linear (n, k)-code has columns of zeros, if and only if there is some i ∈ n such that x_i = 0 for all codewords x, and so we should exclude such columns." [Fripertinger and Kerber (1995, p. 196)] - Petros Hadjicostas, Sep 30 2019

			Triangle T(n,k) (with rows n >= 1 and columns k >= 1) begins as follows:
  1;
  1   1;
  1   2   1;
  1   3   3    1;
  1   4   6    4    1;
  1   6  12   11    5   1;
  1,  7, 21,  27,  17,  6,  1;
  1,  9, 34,  63,  54, 25,  7, 1;
  1, 11, 54, 134, 163, 99, 35, 8, 1;
  ...

Discrete algorithms at the University of Bayreuth, Symmetrica.
Harald Fripertinger, Isometry Classes of Codes.
Harald Fripertinger, Snk2: Number of the isometry classes of all binary (n,k)-codes without zero-columns. [This is a lower triangular array whose lower triangle contains T(n,k). In the papers, the notation S_{nk2} is used.]
H. Fripertinger and A. Kerber, Isometry classes of indecomposable linear codes. In: G. Cohen, M. Giusti, T. Mora (eds), Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 11th International Symposium, AAECC 1995, Lect. Notes Comp. Sci. 948 (1995), pp. 194-204. [Here S_{nk2} = T(n,k).]
Petros Hadjicostas, Generating function for column k = 4. [Cf. A034345.]
Petros Hadjicostas, Generating function for column k = 5. [Cf. A034346.]
Petros Hadjicostas, Generating function for column k = 6. [Cf. A034347.]
Petr Lisonek, Combinatorial families enumerated by quasi-polynomials, J. Combin. Theory Ser. A 114(4) (2007), 619-630. [See Section 5.]
David Slepian, Some further theory of group codes, Bell System Tech. J. 39(5) (1960), 1219-1252.
David Slepian, Some further theory of group codes, Bell System Tech. J. 39(5) (1960), 1219-1252.
Wikipedia, Cycle index.
Wikipedia, Projective linear group.

Cf. A000012 (column k=1), A253186 (column k=2), A034344 (column k=3), A034345 (column k=4), A034346 (column k=5), A034347 (column k=6), A034348 (column k=7), A034349 (column k=8).

Cf. A034254.

# Fripertinger's method to find the g.f. of column k >= 2 (for small k):
def A034253col(k, length):
    G1 = PSL(k, GF(2))
    G2 = PSL(k-1, GF(2))
    D1 = G1.cycle_index()
    D2 = G2.cycle_index()
    f1 = sum(i[1]*prod(1/(1-x^j) for j in i[0]) for i in D1)
    f2 = sum(i[1]*prod(1/(1-x^j) for j in i[0]) for i in D2)
    f = f1 - f2
    return f.taylor(x, 0, length).list()
# For instance the Taylor expansion for column k = 4 gives
print(A034253col(4, 30)) # Petros Hadjicostas, Sep 30 2019

From Petros Hadjicostas, Sep 30 2019: (Start)
T(n,k=2) = floor(n/2) + floor((n^2 + 6)/12) = A253186(n).
T(n,k) = A076832(n,k) - A076832(n,k-1) for n, k >= 1, where we define A076832(n,0) := 0 for n >= 1.
G.f. for column k=2: (x^3 - x - 1)*x^2/((x^2 + x + 1)*(x + 1)*(x - 1)^3).
G.f. for column k=3: (x^12 - 2*x^11 + x^10 - x^9 - x^6 + x^4 - x - 1)*x^3/((x^6 + x^5 + x^4 + x^3 + x^2 + x + 1)*(x^2 + x + 1)^2*(x^2 + 1)*(x + 1)^2*(x - 1)^7).
G.f. for column k >= 4: modify the Sage program below (cf. function f). It is too complicated to write it here. See also some of the links above.
(End)

A034356 Triangle read by rows giving T(n,k) = number of inequivalent linear [n,k] binary codes (n >= 1, 1 <= k <= n).

Original entry on oeis.org

1, 2, 1, 3, 3, 1, 4, 6, 4, 1, 5, 10, 10, 5, 1, 6, 16, 22, 16, 6, 1, 7, 23, 43, 43, 23, 7, 1, 8, 32, 77, 106, 77, 32, 8, 1, 9, 43, 131, 240, 240, 131, 43, 9, 1, 10, 56, 213, 516, 705, 516, 213, 56, 10, 1, 11, 71, 333, 1060, 1988, 1988, 1060, 333, 71, 11, 1, 12, 89

Offset: 1

N. J. A. Sloane

			Table T(n,k) (with rows n >= 1 and columns k >= 1) begins as follows:
  1;
  2,  1;
  3,  3,  1;
  4,  6,  4,   1;
  5, 10, 10,   5,  1;
  6, 16, 22,  16,  6,  1;
  7, 23, 43,  43, 23,  7, 1;
  8, 32, 77, 106, 77, 32, 8, 1;
  ...

Harald Fripertinger, Isometry Classes of Codes.
Harald Fripertinger, Wnk2: Number of the isometry classes of all binary (n,k)-codes. [This is a rectangular array whose lower triangle contains T(n,k).]
H. Fripertinger and A. Kerber, Isometry classes of indecomposable linear codes, preprint, 1995. [We have T(n,k) = W_{nk2}; see p. 4 of the preprint.]
H. Fripertinger and A. Kerber, Isometry classes of indecomposable linear codes. In: G. Cohen, M. Giusti, T. Mora (eds), Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 11th International Symposium, AAECC 1995, Lect. Notes Comp. Sci. 948 (1995), pp. 194-204. [We have T(n,k) = W_{nk2}; see p. 197.]
Petros Hadjicostas, Generating function for column k=4.
Petros Hadjicostas, Generating function for column k=5.
Petros Hadjicostas, Generating function for column k=6.
Kent E. Morrison, Integer Sequences and Matrices Over Finite Fields, Journal of Integer Sequences, Vol. 9 (2006), Article 06.2.1.
David Slepian, Some further theory of group codes, Bell System Tech. J. 39(5) (1960), 1219-1252.
David Slepian, Some further theory of group codes, Bell System Tech. J. 39(5) (1960), 1219-1252.
Marcel Wild, Consequences of the Brylawski-Lucas Theorem for binary matroids, European Journal of Combinatorics 17 (1996), 309-316.
Marcel Wild, The asymptotic number of inequivalent binary codes and nonisomorphic binary matroids, Finite Fields and their Applications 6 (2000), 192-202.
Marcel Wild, The asymptotic number of binary codes and binary matroids, SIAM J. Discrete Math. 19(3) (2005), 691-699. [This paper apparently corrects errors in previous papers.]
Index entries for sequences related to binary linear codes

This is A076831 with the k=0 column omitted.
Columns include A000027 (k=1), A034198 (k=2), A034357 (k=3), A034358 (k=4), A034359 (k=5), A034360 (k=6), A034361 (k=7), A034362 (k=8).
Cf. A034253, A034254, A034328.

# Fripertinger's method to find the g.f. of column k >= 2 (for small k):
def A034356col(k, length):
    R = PowerSeriesRing(ZZ, 'x', default_prec=length)
    x = R.gen().O(length)
    G1 = PSL(k, GF(2))
    G2 = PSL(k-1, GF(2))
    D1 = G1.cycle_index()
    D2 = G2.cycle_index()
    f1 = sum(i[1]*prod(1/(1-x^j) for j in i[0]) for i in D1)
    f2 = sum(i[1]*prod(1/(1-x^j) for j in i[0]) for i in D2)
    f = (f1 - f2)/(1-x)
    return f.list()
# For instance the Taylor expansion for column k = 4 gives
print(A034356col(4, 30)) # Petros Hadjicostas, Oct 07 2019

From Petros Hadjicostas, Sep 30 2019: (Start)
T(n,k) = Sum_{i = k..n} A034253(i,k) for 1 <= k <= n.
G.f. for column k=1: x/(1-x)^2.
G.f. for column k=2: -(x^3 - x - 1)*x^2/((x^2 + x + 1)*(x + 1)*(x - 1)^4).
G.f. for column k=3: -(x^12 - 2*x^11 + x^10 - x^9 - x^6 + x^4 - x - 1)*x^3/((x^6 + x^5 + x^4 + x^3 + x^2 + x + 1)*(x^2 + x + 1)^2*(x^2 + 1)*(x + 1)^2*(x - 1)^8).
G.f. for column k >= 4: modify the Sage program below (cf. function f). It is too complicated to write it here. For some cases, see also the links above.
(End)

A034344 Number of binary [ n,3 ] codes without 0 columns.

Original entry on oeis.org

0, 0, 1, 3, 6, 12, 21, 34, 54, 82, 120, 174, 244, 337, 458, 613, 808, 1056, 1361, 1738, 2200, 2759, 3431, 4240, 5198, 6333, 7670, 9235, 11056, 13175, 15618, 18432, 21660, 25347, 29543, 34312, 39702, 45786, 52633, 60315, 68910, 78515, 89206, 101092, 114276, 128866, 144978, 162750, 182298

Offset: 1

N. J. A. Sloane

nonn

The g.f. function below was calculated in Sage (using Fripertinger's method) and compared with the one in Lisonek's (2007) Example 5.3 (p. 627). - Petros Hadjicostas, Oct 02 2019

Discrete algorithms at the University of Bayreuth, Symmetrica.
Harald Fripertinger, Isometry Classes of Codes.
Harald Fripertinger, Snk2: Number of the isometry classes of all binary (n,k)-codes without zero-columns. [See column k = 3.]
H. Fripertinger and A. Kerber, Isometry classes of indecomposable linear codes. In: G. Cohen, M. Giusti, T. Mora (eds), Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 11th International Symposium, AAECC 1995, Lect. Notes Comp. Sci. 948 (1995), pp. 194-204. [Here a(n) = S_{n,3,2}.]
Petr Lisonek, Combinatorial families enumerated by quasi-polynomials, J. Combin. Theory Ser. A 114(4) (2007), 619-630. [See Section 5. The g.f. is given in Example 5.3.]
David Slepian, Some further theory of group codes, Bell System Tech. J. 39(5) (1960), 1219-1252.
David Slepian, Some further theory of group codes, Bell System Tech. J. 39(5) (1960), 1219-1252.
Wikipedia, Cycle index.
Wikipedia, Projective linear group.

Cf. A034254, A034345, A034346, A034347, A034348, A034349, A253186.
Column k=3 of A034253.
First differences of A034357.

# Fripertinger's method to find the g.f. of column k >= 2 of A034253 (for small k):
def A034253col(k, length):
    G1 = PSL(k, GF(2))
    G2 = PSL(k-1, GF(2))
    D1 = G1.cycle_index()
    D2 = G2.cycle_index()
    f1 = sum(i[1]*prod(1/(1-x^j) for j in i[0]) for i in D1)
    f2 = sum(i[1]*prod(1/(1-x^j) for j in i[0]) for i in D2)
    f = f1 - f2
    return f.taylor(x, 0, length).list()
# For instance the Taylor expansion for column k = 3 (this sequence) gives
print(A034253col(3, 30)) # Petros Hadjicostas, Oct 02 2019

G.f.: (x^12 - 2*x^11 + x^10 - x^9 - x^6 + x^4 - x - 1)*x^3/((x^6 + x^5 + x^4 + x^3 + x^2 + x + 1)*(x^2 + x + 1)^2*(x^2 + 1)*(x + 1)^2*(x - 1)^7) = (-x^15 + 2*x^14 - x^13 + x^12 + x^9 - x^7 + x^4 + x^3)/((1 - x)^2*(-x^2 + 1)*(-x^3 + 1)^2*(-x^4 + 1)*(-x^7 + 1)). - Petros Hadjicostas, Oct 02 2019

More terms from Petros Hadjicostas, Oct 02 2019

A034363 Triangle of number of linear [ n,k ] ternary codes (n >= 1, k >= 1) without 0 columns.

Original entry on oeis.org

1, 1, 1, 1, 2, 1, 1, 4, 3, 1, 1, 5, 8, 4, 1, 1, 8, 19, 15, 5, 1, 1, 10, 39, 50, 24, 6, 1, 1, 14, 78, 168, 118, 37, 7, 1

Offset: 1

N. J. A. Sloane

H. Fripertinger and A. Kerber, in AAECC-11, Lect. Notes Comp. Sci. 948 (1995), 194-204.

H. Fripertinger, Isometry Classes of Codes

Cf. A034253, A034254, A034356, A034363-A034374.

A034374 Triangle of number of indecomposable projective linear [ n,k ] GF(5) codes (n >= 1, k >= 1) without 0 columns.

Original entry on oeis.org

1, 0, 0, 1, 0, 1, 1, 0, 1, 3, 1, 0, 1, 10, 7, 1, 0, 0, 21, 46, 10, 1, 0, 0, 42, 436, 193, 17, 1

Offset: 1

N. J. A. Sloane

H. Fripertinger and A. Kerber, in AAECC-11, Lect. Notes Comp. Sci. 948 (1995), 194-204.

H. Fripertinger, Isometry Classes of Codes

Cf. A034253, A034254, A034356, A034363-A034374.

A034345 Number of binary [ n,4 ] codes without 0 columns.

Original entry on oeis.org

0, 0, 0, 1, 4, 11, 27, 63, 134, 276, 544, 1048, 1956, 3577, 6395, 11217, 19307, 32685, 54413, 89225, 144144, 229647, 360975, 560259, 858967, 1301757, 1950955, 2893102, 4246868, 6174084, 8892966, 12696295, 17973092, 25237467, 35163431, 48629902, 66774760, 91063984

Offset: 1

N. J. A. Sloane

nonn

"We say that the sequence (a_n) is quasi-polynomial in n if there exist polynomials P_0, ..., P_{s-1} and an integer n_0 such that, for all n >= n_0, a_n = P_i(n) where i == n (mod s)." [This is from the abstract of Lisonek (2007), and he states that the condition "n >= n_0" makes his definition broader than the one in Stanley's book. From Section 5 of his paper, we conclude that (a(n): n >= 1) is a quasi-polynomial in n.] - Petros Hadjicostas, Oct 02 2019

Discrete algorithms at the University of Bayreuth, Symmetrica.
Harald Fripertinger, Isometry Classes of Codes.
Harald Fripertinger, Snk2: Number of the isometry classes of all binary (n,k)-codes without zero-columns. [See column k=4.]
H. Fripertinger and A. Kerber, Isometry classes of indecomposable linear codes. In: G. Cohen, M. Giusti, T. Mora (eds), Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 11th International Symposium, AAECC 1995, Lect. Notes Comp. Sci. 948 (1995), pp. 194-204. [Here a(n) = S_{n,4,2}.]
Petros Hadjicostas, Generating function for a(n).
Petr Lisonek, Combinatorial families enumerated by quasi-polynomials, J. Combin. Theory Ser. A 114(4) (2007), 619-630. [See Section 5.]
David Slepian, Some further theory of group codes, Bell System Tech. J. 39(5) (1960), 1219-1252.
David Slepian, Some further theory of group codes, Bell System Tech. J. 39(5) (1960), 1219-1252.
Wikipedia, Cycle index.
Wikipedia, Projective linear group.

Cf. A034254, A034344, A034346, A034347, A034348, A034349, A253186.

Column k=4 of A034253 and first differences of A034358.

# Fripertinger's method to find the g.f. of column k >= 2 of A034253 (for small k):
def A034253col(k, length):
    G1 = PSL(k, GF(2))
    G2 = PSL(k-1, GF(2))
    D1 = G1.cycle_index()
    D2 = G2.cycle_index()
    f1 = sum(i[1]*prod(1/(1-x^j) for j in i[0]) for i in D1)
    f2 = sum(i[1]*prod(1/(1-x^j) for j in i[0]) for i in D2)
    f = f1 - f2
    return f.taylor(x, 0, length).list()
# For instance the Taylor expansion for column k = 4 (this sequence) gives
print(A034253col(4, 30)) #

More terms by Petros Hadjicostas, Oct 02 2019

A034346 Number of binary [ n,5 ] codes without 0 columns.

Original entry on oeis.org

0, 0, 0, 0, 1, 5, 17, 54, 163, 465, 1283, 3480, 9256, 24282, 62812, 160106, 401824, 992033, 2406329, 5730955, 13393760, 30709772, 69079030, 152473837, 330344629, 702839150, 1469214076, 3019246455, 6103105779, 12142291541, 23790590387, 45932253637, 87434850942, 164188881007

Offset: 1

N. J. A. Sloane

nonn

Discrete algorithms at the University of Bayreuth, Symmetrica.
Harald Fripertinger, Isometry Classes of Codes.
Harald Fripertinger, Snk2: Number of the isometry classes of all binary (n,k)-codes without zero-columns. [See column k=5.]
H. Fripertinger and A. Kerber, Isometry classes of indecomposable linear codes. In: G. Cohen, M. Giusti, T. Mora (eds), Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 11th International Symposium, AAECC 1995, Lect. Notes Comp. Sci. 948 (1995), pp. 194-204. [Here a(n) = S_{n,5,2}.]
Petros Hadjicostas, Generating function for a(n).
Petr Lisonek, Combinatorial families enumerated by quasi-polynomials, J. Combin. Theory Ser. A 114(4) (2007), 619-630. [See Section 5.]
David Slepian, Some further theory of group codes, Bell System Tech. J. 39(5) (1960), 1219-1252.
David Slepian, Some further theory of group codes, Bell System Tech. J. 39(5) (1960), 1219-1252.
Wikipedia, Cycle index.
Wikipedia, Projective linear group.

Cf. A034254, A034344, A034345, A034347, A034348, A034349, A253186.

Column k=5 of A034253 and first differences of A034359.

# Fripertinger's method to find the g.f. of column k >= 2 (for small k):
def A034253col(k, length):
    G1 = PSL(k, GF(2))
    G2 = PSL(k-1, GF(2))
    D1 = G1.cycle_index()
    D2 = G2.cycle_index()
    f1 = sum(i[1]*prod(1/(1-x^j) for j in i[0]) for i in D1)
    f2 = sum(i[1]*prod(1/(1-x^j) for j in i[0]) for i in D2)
    f = f1 - f2
    return f.taylor(x, 0, length).list()
# For instance the Taylor expansion for column k = 5 gives a(n):
print(A034253col(5, 30)) # Petros Hadjicostas, Oct 04 2019

More terms from Petros Hadjicostas, Oct 04 2019

A034347 Number of binary [ n,6 ] codes without 0 columns.

Original entry on oeis.org

0, 0, 0, 0, 0, 1, 6, 25, 99, 385, 1472, 5676, 22101, 87404, 350097, 1413251, 5708158, 22903161, 90699398, 352749035, 1342638839, 4990325414, 18090636016, 63933709870, 220277491298, 740170023052, 2426954735273, 7770739437179, 24314436451415, 74406425640743, 222867051758565, 653898059035166

Offset: 1

N. J. A. Sloane

nonn

Discrete algorithms at the University of Bayreuth, Symmetrica.
Harald Fripertinger, Isometry Classes of Codes.
Harald Fripertinger, Snk2: Number of the isometry classes of all binary (n,k)-codes without zero-columns. [See column k=6.]
H. Fripertinger and A. Kerber, Isometry classes of indecomposable linear codes. In: G. Cohen, M. Giusti, T. Mora (eds), Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 11th International Symposium, AAECC 1995, Lect. Notes Comp. Sci. 948 (1995), pp. 194-204. [Here a(n) = S_{n,6,2}.]
Petros Hadjicostas, Generating function for a(n).
Petr Lisonek, Combinatorial families enumerated by quasi-polynomials, J. Combin. Theory Ser. A 114(4) (2007), 619-630. [See Section 5.]
David Slepian, Some further theory of group codes, Bell System Tech. J. 39(5) (1960), 1219-1252.
David Slepian, Some further theory of group codes, Bell System Tech. J. 39(5) (1960), 1219-1252.
Wikipedia, Cycle index.
Wikipedia, Projective linear group.

Cf. A034254, A034344, A034345, A034346, A034348, A034349, A253186.
First differences of A034360.
Column k = 6 of A034253.

# Fripertinger's method to find the g.f. of column k >= 2 of A034253 (for small k):
def A034253col(k, length):
    G1 = PSL(k, GF(2))
    G2 = PSL(k-1, GF(2))
    D1 = G1.cycle_index()
    D2 = G2.cycle_index()
    f1 = sum(i[1]*prod(1/(1-x^j) for j in i[0]) for i in D1)
    f2 = sum(i[1]*prod(1/(1-x^j) for j in i[0]) for i in D2)
    f = f1 - f2
    return f.taylor(x, 0, length).list()
# For instance the Taylor expansion for column k = 6 (this sequence) gives
print(A034253col(6, 30)) # Petros Hadjicostas, Oct 05 2019

More terms from Petros Hadjicostas, Oct 05 2019

A034348 Number of binary [ n,7 ] codes without 0 columns.

Original entry on oeis.org

0, 0, 0, 0, 0, 0, 1, 7, 35, 170, 847, 4408, 24297, 143270, 901491, 5985278, 41175203, 287813284, 2009864185, 13848061942, 93369988436, 613030637339, 3908996099141, 24179747870890, 145056691643428, 844229016035010, 4769751989333029, 26181645303024760, 139750488576152520

Offset: 1

N. J. A. Sloane

nonn

To find the g.f., modify the Sage program below (cf. function f). It is very complicated to write it here. - Petros Hadjicostas, Oct 05 2019

Discrete algorithms at the University of Bayreuth, Symmetrica.
Harald Fripertinger, Isometry Classes of Codes.
Harald Fripertinger, Snk2: Number of the isometry classes of all binary (n,k)-codes without zero-columns. [See column k=7.]
H. Fripertinger and A. Kerber, Isometry classes of indecomposable linear codes. In: G. Cohen, M. Giusti, T. Mora (eds), Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 11th International Symposium, AAECC 1995, Lect. Notes Comp. Sci. 948 (1995), pp. 194-204. [Here a(n) = S_{n,7,2}.]
Petr Lisonek, Combinatorial families enumerated by quasi-polynomials, J. Combin. Theory Ser. A 114(4) (2007), 619-630. [See Section 5.]
David Slepian, Some further theory of group codes, Bell System Tech. J. 39(5) (1960), 1219-1252.
David Slepian, Some further theory of group codes, Bell System Tech. J. 39(5) (1960), 1219-1252.
Wikipedia, Cycle index.
Wikipedia, Projective linear group.

Cf. A034254, A034344, A034345, A034346, A034347, A034349, A253186.

Column k=7 of A034253 and first differences of A034361.

# Fripertinger's method to find the g.f. of column k >= 2 of A034253 (for small k):
def A034253col(k, length):
    G1 = PSL(k, GF(2))
    G2 = PSL(k-1, GF(2))
    D1 = G1.cycle_index()
    D2 = G2.cycle_index()
    f1 = sum(i[1]*prod(1/(1-x^j) for j in i[0]) for i in D1)
    f2 = sum(i[1]*prod(1/(1-x^j) for j in i[0]) for i in D2)
    f = f1 - f2
    return f.taylor(x, 0, length).list()
# For instance the Taylor expansion for column k = 7 (this sequence) gives
print(A034253col(7, 30)) #

More terms from Petros Hadjicostas, Oct 05 2019

A034349 Number of binary [ n,8 ] codes without 0 columns.

Original entry on oeis.org

0, 0, 0, 0, 0, 0, 0, 1, 8, 47, 277, 1775, 12616, 102445, 957357, 10174566, 119235347, 1482297912, 18884450721, 240477821389, 3012879828566, 36800049400028, 436068618826236, 5001537857507095, 55482177298724426, 595303034603214108, 6181562837200509792, 62170512250565592346

Offset: 1

N. J. A. Sloane

nonn

To find the g.f., modify the Sage program below (cf. function f). It is very complicated to write it here. - Petros Hadjicostas, Oct 07 2019

Discrete algorithms at the University of Bayreuth, Symmetrica.
Harald Fripertinger, Isometry Classes of Codes.
Harald Fripertinger, Snk2: Number of the isometry classes of all binary (n,k)-codes without zero-columns. [See column k=8.]
H. Fripertinger and A. Kerber, Isometry classes of indecomposable linear codes. In: G. Cohen, M. Giusti, T. Mora (eds), Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 11th International Symposium, AAECC 1995, Lect. Notes Comp. Sci. 948 (1995), pp. 194-204. [Here a(n) = S_{n,8,2}.]
Petr Lisonek, Combinatorial families enumerated by quasi-polynomials, J. Combin. Theory Ser. A 114(4) (2007), 619-630. [See Section 5.]
David Slepian, Some further theory of group codes, Bell System Tech. J. 39(5) (1960), 1219-1252.
David Slepian, Some further theory of group codes, Bell System Tech. J. 39(5) (1960), 1219-1252.
Wikipedia, Cycle index.
Wikipedia, Projective linear group.

Cf. A034254, A034344, A034345, A034346, A034347, A034348, A253186.

Column k=8 of A034253 and first differences of A034362.

# Fripertinger's method to find the g.f. of column k >= 2 of A034253 (for small k):
def A034253col(k, length):
    G1 = PSL(k, GF(2))
    G2 = PSL(k-1, GF(2))
    D1 = G1.cycle_index()
    D2 = G2.cycle_index()
    f1 = sum(i[1]*prod(1/(1-x^j) for j in i[0]) for i in D1)
    f2 = sum(i[1]*prod(1/(1-x^j) for j in i[0]) for i in D2)
    f = f1 - f2
    return f.taylor(x, 0, length).list()
# For instance the Taylor expansion for column k = 8 (current sequence) gives
print(A034253col(8, 30)) # Petros Hadjicostas, Oct 07 2019

More terms from Petros Hadjicostas, Oct 07 2019

cp's OEIS Frontend

A034253 Triangle read by rows: T(n,k) = number of inequivalent linear [n,k] binary codes without 0 columns (n >= 1, 1 <= k <= n).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Sage

Formula

A034356 Triangle read by rows giving T(n,k) = number of inequivalent linear [n,k] binary codes (n >= 1, 1 <= k <= n).

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Sage

Formula

A034344 Number of binary [ n,3 ] codes without 0 columns.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Sage

Formula

Extensions

A034363 Triangle of number of linear [ n,k ] ternary codes (n >= 1, k >= 1) without 0 columns.

Views

Author

Keywords

References

Links

Crossrefs

A034374 Triangle of number of indecomposable projective linear [ n,k ] GF(5) codes (n >= 1, k >= 1) without 0 columns.

Views

Author

Keywords

References

Links

Crossrefs

A034345 Number of binary [ n,4 ] codes without 0 columns.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Sage

Extensions

A034346 Number of binary [ n,5 ] codes without 0 columns.

Views

Author

Keywords

Links

Crossrefs

Programs

Sage

Extensions

A034347 Number of binary [ n,6 ] codes without 0 columns.

Views

Author

Keywords

Links

Crossrefs

Programs

SageMath

Extensions

A034348 Number of binary [ n,7 ] codes without 0 columns.

Views

Author

Keywords

Comments