User blog comment:Wythagoras/All my stuff/@comment-5029411-20130715142856

5 Rule FGH:

f0(a) = a+1

f@+1(a) = f@^a(a)

f@w^(@+1)*b+1(a) = f@w^(@+1)*b+w^@(a)

f@phi(@ @+1,b+1)(a) = f@phi(@ @,phi...(@ @,phi(@ @+1,b)+1)...)(a) (a+1 phi's)

f@phi(@ @+1,0,0...0,b+1)(a) = f@phi(@ @,phi(@ @,...phi(@ @,phi(@ @,phi(@ @,0,0...0,b),0...0,1),0...0,0)...,0...0,0),0...0,0)(a) (a+1 phi's)

Y(5) = ftheta(Omega^5)(5)