cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A003659 Shifts left under Stirling2 transform.

Original entry on oeis.org

1, 1, 2, 6, 26, 152, 1144, 10742, 122772, 1673856, 26780972, 496090330, 10519217930, 252851833482, 6832018188414, 205985750827854, 6885220780488694, 253685194149119818, 10250343686634687424, 452108221967363310278, 21676762640915055856716
Offset: 1

Views

Author

Keywords

Comments

Apart from leading term, number of M-sequences from multicomplexes on at most 4 variables with no monomial of degree more than n+1.
Stirling2 transform of a(n) = [1, 1, 2, 6, 26, ...] is a(n+1) = [1, 2, 6, 26, ...].
Eigensequence of Stirling2 triangle A008277. - Philippe Deléham, Mar 23 2007

References

  • S. Linusson, The number of M-sequences and f-vectors, Combinatorica, 19 (1999), 255-266.
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Cf. A048801.
Cf. A153277, A153278. - Jonathan Vos Post, Dec 22 2008

Programs

  • Maple
    stirtr:= proc(p)
               proc(n) add(p(k)*Stirling2(n,k), k=0..n) end
             end:
    a:= proc(n) option remember; `if`(n<3, 1, aa(n-1)) end:
    aa:= stirtr(a):
    seq(a(n), n=1..25);  # Alois P. Heinz, Jun 22 2012
  • Mathematica
    terms = 21; A[] = 0; Do[A[x] = Normal[Integrate[1 + A[Exp[x] - 1 + O[x]^(terms + 1)], x] + O[x]^(terms + 1)], terms];
    CoefficientList[A[x], x]*Range[0, terms]! // Rest (* Jean-François Alcover, May 23 2012, updated Jan 12 2018 *)
  • PARI
    {a(n)=local(A, E); if(n<0, 0, A=O(x); E=exp(x+x*O(x^n))-1; for(m=1, n, A=intformal( subst( 1+A, x, E+x*O(x^m)))); n!*polcoeff(A, n))} /* Michael Somos, Mar 08 2004 */
    
  • PARI
    a_vector(n) = my(v=vector(n)); v[1]=1; for(i=1, n-1, v[i+1]=sum(j=1, i, stirling(i, j, 2)*v[j])); v; \\ Seiichi Manyama, Jun 24 2022

Formula

E.g.f. A(x) satisfies A(x)' = 1+A(exp(x)-1).
G.f. satisfies: Sum_{n>=1} a(n)*x^n = x * (1 + Sum_{n>=1} a(n) * x^n / Product_{j=1..n} (1 - j*x)). - Ilya Gutkovskiy, May 09 2019
a(1) = 1; a(n+1) = Sum_{k=1..n} Stirling2(n,k) * a(k). - Seiichi Manyama, Jun 24 2022