プログラムは細かくみると、正確に計算してないところもあります。
たとえば、ω^φ_1(0)=ω^ε_0=ε_0=φ_1(0)ですが、
F[ω^φ_1(0)](2)とF[φ_1(0)](2)は違う結果になります。
また、>>190の定義からすればψ(ψ(Ω+2))=ψ(Ω)＜ψ(Ω+1)ですが、
F[ψ(ψ(Ω+2))](2)＞F[ψ(Ω+1)](2)となってしまうはずです。
ただ、普通に使う分には問題はないと思います。