Elliptic isometry of a tree (source code)

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

An elliptic tree isometry fixes a vertex. Its fixed-point set is a nonempty convex subtree.