OFFSET
0,2
COMMENTS
Also seventh column (m=6) of triangle A062135.
Number of homeomorphically irreducible (or series-reduced) trees (no vertices of degree 2) with n+9 leaves which become tree P(7) (path on 7 nodes (vertices) or 6 edges (links) when all leaves are omitted. A leave is an edge together with a node of degree 1 at one end). Proof by Polya enumeration. See illustration for A034851.
LINKS
FORMULA
G.f.: Pe(6, x^2)/((1-x)^(2*6)*(1+x)^6), with Pe(6, x^2) := sum(A034839(6, m)*x^(2*m), m=0..3)= 1+15*x^2+15*x^4+x^6.
a(n) = A034851(n+11,11).
a(n) = (1/(2*11!))*(n+1)*(n+2)*(n+3)*(n+4)*(n+5)*(n+6)*(n+7)*(n+8)*(n+9)*(n+10)*(n+11) + (1/15)*(1/2^9)*(n+2)*(n+4)*(n+6)*(n+8)*(n+10)*(1/2)*(1+(-1)^n). - Yosu Yurramendi, Jun 24 2013
MATHEMATICA
Table[(1/(2*11!))*(n + 1)*(n + 2)*(n + 3)*(n + 4)*(n + 5)*(n + 6)*(n + 7)*(n + 8)*(n + 9)*(n + 10)*(n + 11) + (1/15)*(1/2^9)*(n + 2)*(n + 4)*(n + 6)*(n + 8)*(n + 10)*(1/2)*(1 + (-1)^n), {n, 0, 50}] (* G. C. Greubel, Nov 24 2017 *)
PROG
(PARI) for(n=0, 50, print1((1/(2*11!))*(n + 1)*(n + 2)*(n + 3)*(n + 4)*(n + 5)*(n + 6)*(n + 7)*(n + 8)*(n + 9)*(n + 10)*(n + 11) + (1/15)*(1/2^9)*(n + 2)*(n + 4)*(n + 6)*(n + 8)*(n + 10)*(1/2)*(1 + (-1)^n), ", ")) \\ G. C. Greubel, Nov 24 2017
(Magma) [(1/(2*Factorial(11)))*(n + 1)*(n + 2)*(n + 3)*(n + 4)*(n + 5)*(n + 6)*(n + 7)*(n + 8)*(n + 9)*(n + 10)*(n + 11) + (1/15)*(1/2^9)*(n + 2)*(n + 4)*(n + 6)*(n + 8)*(n + 10)*(1/2)*(1 + (-1)^n): n in [0..30]]; // G. C. Greubel, Nov 24 2017
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Wolfdieter Lang, Jun 19 2001
STATUS
approved