Operations on inf



"Andrey G. Grozin" <A.G.Grozin at inp.nsk.su> writes:
...
> In some other mail, there was an even more convincing proof that 1^inf
> should be und:
>
> 1^inf = exp(inf*log(1)) = exp(inf*0) = exp(und) = und

I don't know why this is convincing.
Given a choice between preserving the identity
  1^x = 1 for all x
or the identity
  a^b = exp(b*log(a)) for some a, all b
I would think the former is more basic and worthy of being preserved.

Jay