%I#27 2017年2月22日13:30:00

%S 0,0,0,1,0,0，0,1,0，1,2,0，1,0，1,2，0,1,1,2，3,0，1,0，2,2，0,0，

%温度4,0,0,1,0,12,0,1,2,0,12,3,0,12,3,4,0,11,2,3,5,0,10,1,2,0,1，

%U 2,3,4,0,1,2,3,4],5,0,12,3,4-5,0,0,1,1,3,4,1,6,0,1,0,1,1,2,3,0,11,2,4,5,0

%N第三个四面体坐标，即T（T，N，k）=k的四面体；数值朝右下方递增的增长有限三角形序列。

%C或者，用i>j>k>=0写n=C（i，3）+C（j，2）+C；序列给出k值。有关此解释的更多信息，请参见A194847。

%C如果{（X，Y，Z）}是按X，Y和Z排序的X>=Y>=Z的非负整数的三元组，则X=A056556（n），Y=A0565507（n）和Z=A056588（n）

%C这是一个alpha=0的“Matryoshka doll”序列（参见A000292和A000178）Peter Luschny，2009年7月14日

%D D.E.Knuth，《计算机编程的艺术》，第4A卷，组合算法，第7.2.1.3节，等式（20），第360页。

%H Reinhard Zumkeller，<a href=“/A0556558/b056558.txt”>n的表，a（n）表示n=0.-10000</a>

%F a（n）=n-A056556。

%F a（n+1）=A056556（n）==a（n）？0:A056557（n）==a（n）？0:a（n）+1.-_Graeme McRae_，2007年1月9日

%e第一个三角形：[0]；第二个三角形：[0；0 1]；第三个三角形：[0；0 1；0 1 2]。。。

%p seq（seq（序列（i，i=0..k），k=0..n），n=0..6）；#_Peter Luschny_，2011年9月22日

%t表[i，{k，0，7}，{j，0，k}，｛i，0，j}]//扁平（*_Robert G.Wilson v_，2011年9月27日*）

%o（哈斯克尔）

%o导入数据。列表（inits）

%o a056558 n=a056558_列表！！n个

%o a056558_list=concatMap（concat.inits.inits.enumFromTo 0）[0..]

%o--_Reinhard Zumkeller_，2015年6月1日

%o（PARI）T（T，n，k）=2017年2月22日

%Y与A056559和A056560一起，可以通过“反对偶”读取立方体阵列，作为带有方形阵列的A002262和A025581的三维模拟。另请参见A000292、A056556和A056557。

%Y另请参见A194847、A194848和A194849。

%Y参考A002262、A127324、A000217。

%K nonn公司

%0、10

%2000年6月26日，Anry Bottomley