Isometry of a tree (source code)

= Isometry of a tree
{wiki=Bass–Serre_theory}

Every inversion-free tree isometry is either elliptic, fixing a vertex, or hyperbolic, translating along a unique bi-infinite geodesic.