User blog comment:P進大好きbot/Please Help me on study of Pair Sequence System (2-rowed Bashicu Matrix System)/@comment-35870936-20180813215517/@comment-35470197-20180815011708

> What I can assert with a great deal of confidence is that U(Ωω)=ψ(Ωω) , using other standard OCFs, such as Deedlit's (abbreviated as KOCF).

By the way, could tell me a reference on the comparison \(U(\Omega_{\omega}) = \psi_0(\Omega_{\omega})\) using KOCF? Also, is there a reference which explains how KOCF actually achieves \(\psi_0(\Omega_{\omeg})\)? In order to ensure it, Deedlit needed to compare KOCF with other standard OCFs. Therefore I would like to study it.