Group action on a tree (source code)

= Group action on a tree

A group action on a tree is a homomorphism to the tree's combinatorial isometry group. Barycentric subdivision removes edge inversions without changing the essential action.