coo half-iterate div @ fix

[bo198214]

The half-iterate sheldon mentiones

\( \text{sexp}_e(\text{slog}_e(x)+0.5) \)

does not converge, i.e. has a branch-point at the primary fixed points.

Generally any half-iterate that is not the regular at a fixed point, does not converge there (in the sense of not of not being holomorphic); given that the fixed point is also a fixed point of the half-iterate.