Hyperbolic isometry of a tree (source code)

= Hyperbolic isometry of a tree
{wiki=Bass–Serre_theory}

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