Complex logarithm (source code)

= Complex logarithm
{wiki}

For $z=re^{i\theta}\ne0$, the complex logarithm has the values $\log r+i(\theta+2\pi k)$ for $k\in\mathbb Z$.