On extension to "other" iteration roots

[Leo.W]

Well, in the end it lead me to find a way to handle the multi-valued case, so one could say you did something good

hey bo, it's my own fault to have said it's impossible to do so and led you to a wrong track, but we in everyday talk and in forum it's default to say something taking singlevalued-ness for granted, I'd refer to multivalued-ness when I have to just on my own
In fact, we talked a lot way before in my previous post thread
https://math.eretrandre.org/tetrationfor...p?tid=1318
in which I defined ways to talk about multivalued iterations and compositions and so on, not very rigorously.
But in modern days, we still cannot compute a multivalued function easily, so we'd better looking and researching in the world of singlevalued-ness and mentioning multivalued-ness when possible or pertinent.

Also, it is for sure impossible to do so, to harvest such a superfunction with both abelian-ity and singlevalued-ness