%I #35 Apr 02 2016 19:50:00
%S 1,2,1,6,6,1,12,18,8,1,20,40,30,10,1,30,75,80,45,12,1,42,126,175,140,
%T 63,14,1,56,196,336,350,224,84,16,1,72,288,588,756,630,336,108,18,1,
%U 90,405,960,1470,1512,1050,480,135,20,1,110,550,1485,2640,3234,2772,1650,660,165,22,1
%N Triangle of numbers where T(n,k) is the number of k-dimensional faces on a partially truncated n-dimensional simplex, 0 <= k <= n.
%H Charles R Greathouse IV, <a href="/A259477/b259477.txt">Table of n, a(n) for n = 0..10000</a>
%F T(n,0) = n*(n+1), n > 0; T(n,k) = (n+1-k)*binomial(n+1,k+1), 1 <= k <= n.
%F E.g.f.: ((x+1)*(z+1)+1)*exp(z)*(exp(x*z)-1)/x + 1.
%F From _Vincent J. Matsko_, Jul 18 2015: (Start)
%F O.g.f.: (1/(1-(x+1)*y)^2-(x+1)/(1-y)^2)/x + 1/((1-(x+1)y)*(1-y))+1.
%F G.f. for rows (n > 0): (((x+1)^n-1)*(x+n+2))/x-n. (End)
%e Triangle begins:
%e 1;
%e 2, 1;
%e 6, 6, 1;
%e 12, 18, 8, 1;
%e 20, 40, 30, 10, 1;
%e ...
%t Join @@ (CoefficientList[#,
%t x] & /@ (Expand[
%t D[((x + 1) (z + 1) + 1) Exp[z] (Exp[x z] - 1)/x + 1, {z, #}] /.
%t z -> 0] & /@ Range[0, 10])) (* _Vincent J. Matsko_, Jun 30 2015 *)
%t Flatten[Table[
%t CoefficientList[
%t D[(1/(1 - (x + 1)*y)^2 - (x + 1)/(1 - y)^2)/x +
%t 1/((1 - (x + 1) y)*(1 - y)) + 1, {y, k}]/Factorial[k] /. y -> 0,
%t x], {k, 0, 10}]] (* _Vincent J. Matsko_, Jul 18 2015 *)
%o (PARI) T(n,k)=max(if(k,n+1-k,n)*binomial(n+1,k+1),1)
%o for(n=0,10,for(k=0,n,print1(T(n,k)", "))) \\ _Charles R Greathouse IV_, Jun 29 2015
%K easy,nonn,tabl
%O 0,2
%A _Vincent J. Matsko_, Jun 27 2015