4.3 立方体运算

4.3.3 锐积运算
　为了方便，先研究单输出函数的情况。两个非退化立方体的锐积(sharp product)可记作：
　　　a | 1 # b | 1
并简写为： a # b
其中　　　 a= a₁a₂…a_i…a_n
　　　　　 b= b₁b₂…b_i…b_n