Translation length (source code)

= Translation length
{title2=$\ell(g)$}
{wiki}

The translation length of an isometry $g$ of a metric space is $\ell(g)=\inf_x d(x,gx)$. For a hyperbolic tree isometry, it is attained exactly on the <axis of a tree isometry>.