Explicit computation of the index of a positive outer automorphism of the free group

Abstract

We give an algorithm for finding the index of a positive outer automorphism of the free group, and prove the algorithm exits in a finite time.