Hyperbolic isometry of a tree (source code)

= Hyperbolic isometry of a tree

A hyperbolic tree isometry has positive translation length and preserves a unique bi-infinite geodesic.