User blog comment:B1mb0w/J Function Sandpit J 0/@comment-25601061-20150922231814/@comment-10262436-20150923023357

Hi. I have removed any reference of X and Y because they are irrelevant. The definition section has been tidied up to illustrate the algorithm better.

I plan to write descriptions for the program code when I find the time. In the meantime, the best illustration of what the code does is provided at the start of the definition section.

J0(n,n^n) will equal f_epsilon_0(n). Any other value less than n^n will generate (almost all) ordinals less than epsilon_0.

Hope this helps.