全然進まない。

Aexp(B)をexp(M-A+N-B)に変換する作業は辛酸を嘗め続けている。値が合わない。問題はプラスとマイナスにあるのだ。中学生の数学か。新しく作ろうと試みたがやめた。3時間ほどの無駄。

結局M+Nで揃えて母関数と特性関数を計算するところだけ元に戻すという小細工。母関数はきちんと終了。特性関数はまだ一致しない。時間かかるなあ。