User blog comment:SuperSpruce/T array function stuck at Gamma 0/@comment-35470197-20190614223407/@comment-35470197-20190616021434

I see. Then I guess that the catastrophic rule might be the cause of the stuck. I am not actually certain, because I do not fully understand the analysis. In order to expand ψ(Ω^Ω+Ω^Ω) correctly, we need to use the decomposition into the sum, as I wrote above. On the other hand, the catastrophic rule looks like a nesting without such decomposition, which decreases much faster than the correct fundamental sequences.

Could you tell me how do you encode addition in your notation? Then I will be more confident on what to do. For example, could you tell me the intended expression in DCT corresponding to the following ordinals?

ω

ω+ω

ω^2

ω^ω

ε_0

ε_0+ε_0

ε_1

ζ_0

Γ_0