Parabolic isometry of the hyperbolic plane (source code)

= Parabolic isometry of the hyperbolic plane
{wiki=Parabolic_isometry}

A nonidentity orientation-preserving isometry of the <hyperbolic plane> is parabolic when it has one fixed point on the ideal boundary and none in the plane. In the <upper half-plane model>, every parabolic isometry is conjugate to a nonzero horizontal translation.