User blog comment:Koteitan/Categorizing of the rule sets for all sub versions of bashicu matrix/@comment-11227630-20191122094441/@comment-35470197-20191122124926

Does anyone have a link to the original definition of BM2? Since Bashicu updates the source so many times, I do not know which version is BM2.

At least, according to Bashicu's description, p(j) seems to be the maximum of i satisfying the following: Is it correct?
 * 1) i 0, then there exists an i' such that i≦i'<j and the k-th entry of the i'-th column is smaller than c_k.