Map from UHP to the Disc

This demo shows the action on geodesics in the UHP of the map M(z)=(z-i)/(z+i) from the UHP to the Disc. Geodesics in the UHP go to generalized circlular arcs meeting the unit circle at right angles in the disc.