User blog comment:Nayuta Ito/An attempt to well-define OCF as a number notation/@comment-32697988-20190428074647/@comment-35470197-20190430234125

Oh, you have already added it.

> Else, Cough(A) must be >Ω_m, so let Ω_k=Cough(A): <ψ_Ω_m(A)>[n]=<ψ_Ω_m(ψ_Ω_k(A))>[n]

It looks interesting. Is the a well-known approach? I have never seen this rule. It looks to actually realise the UNOCF-like expansion up to Ω_4.

By the way, is the following computation correct? \begin{eqnarray*} ψ_Ω_1(ψ_Ω_4(0))[2] & = & ψ_Ω_1(ψ_Ω_3(ψ_Ω_4(0)))[2] \\ & = & ψ_Ω_1(ψ_Ω_2(ψ_Ω_3(ψ_Ω_4(0))))[2] \\ & = & ψ_Ω_1(ψ_Ω_2(ψ_Ω_3(ψ_Ω_4(0[2])))) \\ & = & ψ_Ω_1(ψ_Ω_2(ψ_Ω_3(ψ_Ω_4(0)))) \\ \end{eqnarray*} It seems to yield an infinite loop.