Jabotinsky's iterative logarithm

[andydude]

(And btw. it should be very rare to find so obvious mistakes in peer reviewed journals ...)

Right, I should have read Jabotinsky before stating that, sorry. I have his "Analytic Iteration" (not the one with Erdos) and his "L-sequences for ..." papers, so I should have read them if either of them contain this theorem.

Anyways, its still very interesting, and I just did a test to see if it applies to hyperbolic iteration as well, and it does:

Code:

g = h_poly(x, 6)
il1 = iter_log(g, t, x)
il2 = iter_log(g.subs(x=g), t, x)
il3 = iter_log(g.subs(x=g).subs(x=g), t, x)

sage: il1 + il2 - il3
0

Andrew Robbins