Elliptic isometry of a tree (source code)

= Elliptic isometry of a tree

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