Axis of a tree isometry (source code)

= Axis of a tree isometry
{title2=$A_g$}

The axis of a hyperbolic tree isometry $g$ is its unique invariant line. The isometry acts on this line by translation through its translation length.