. Then $\phi$ is irreducible and has a periodic nontrivial conjugacy class if and only if it is induced by a pseudo-Anosov homeomorphism of a surface $\Sigma_g^b$ that acts transitively on the boundary components.  