OFFSET
0,5
COMMENTS
Terms of column 0, column 1 and column 2 in row n are equal for n>2.
FORMULA
The g.f. of column k of P^m (ignoring leading zeros) equals: 1 + Sum_{n>=1} (m*2^k)^n/n! * Product_{j=0..n-1} L(2^j*x) where L(x) is the g.f. of column 0 of the matrix log of P (A111979) and satisfies: x-x^2 = Sum_{j>=1}(1-2^j*x)*Prod_{i=0..j-1}L(2^i*x).
EXAMPLE
Triangle P begins:
1;
1,1;
1,2,1;
4,4,4,1;
16,16,16,8,1;
96,96,96,64,16,1;
896,896,896,704,256,32,1;
13568,13568,13568,11776,5504,1024,64,1;
345088,345088,345088,317952,178176,43776,4096,128,1; ...
where P^2 shifts columns left and up one place:
1;
2,1;
4,4,1;
16,16,8,1;
96,96,64,16,1; ...
The matrix inverse, P^-1, equals signed P:
1;
-1,1;
1,-2,1;
-4,4,-4,1;
16,-16,16,-8,1; ...
PROG
(PARI) P(n, k, q=2)=local(A=Mat(1), B); if(n<k || k<0, 0, for(m=1, n+1, B=matrix(m, m); for(i=1, m, for(j=1, i, if(j==i, B[i, j]=1, if(j==1, B[i, j]=if(i>2, (A^q)[i-1, 2], 1), B[i, j]=(A^q)[i-1, j-1])); )); A=B); return(A[n+1, k+1]))
CROSSREFS
KEYWORD
nonn,tabl
AUTHOR
Paul D. Hanna, Aug 24 2005
STATUS
approved