Analytic branch of a square root (source code)

= Analytic branch of a square root

If $\ell$ is an analytic branch of the logarithm on a connected domain avoiding zero, then $\exp(\ell/2)$ is an analytic branch of the square root. Any two such branches differ everywhere by one constant sign.