07/10/27 10:05:32
>>754-755を魚の口に合うように
以下のように変えてみました。
p[0](0) f_l ･･･ f_1 n = f_l ･･･ f_1 n
p[0](k+1) f_l ･･･ f_1 n = p[0](k) m_{l+1} f_l ･･･ f_1 n
p[0](pmt) f_l ･･･ f_1 n = p[0](pmt(n)) m_{l+1} f_l ･･･ f_1 n
p[a+1](0) f_l ･･･ f_1 n = p[a](n) f_l ･･･ f_1 n
p[a+1](k+1) f_l ･･･ f_1 n = (m_{l+n} p[a+1](k)) p[a](n) f_l ･･･ f_1 n
p[a+1](pmt) f_l ･･･ f_1 n = p[a+1](pmt(n)) f_l ･･･ f_1 n
p[pmt](0) f_l ･･･ f_1 n = p[pmt(n)](0) f_l ･･･ f_1 n
p[pmt](k+1) f_l ･･･ f_1 n = (m_{l+n} p[pmt](k)) p[pmt(n)](0) f_l ･･･ f_1 n
p[pmt](pmt') f_l ･･･ f_1 n = p[pmt](pmt'(n)) f_l ･･･ f_1 n
*)pmt,pmt'はp[],m_による式
自然数からpmtへの変換 0=() 1=m1 n=m1\n