User blog comment:P進大好きbot/New Difference Sequence System/@comment-43345498-20190924135704/@comment-35470197-20190925002825

I updated the algorithm so that the computation of b^{(n)} actually terminates, and added the explanation of upperbounds of the resulting entries. Although I need to check that the additional restriction is suitable for known expansions of Y-sequence system, I guess that it is the right restriction.