An algorithm to detect full irreducibility by bounding the volume of periodic free factors

We provide an effective algorithm for determining whether an element of the outer automorphism group of a free group is fully irreducible. Our method produces a finite list which can be checked for periodic proper free factors.