2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/64896We give an algorithm to find vertical essential tori in small Seifert fiber spaces with infinite fundamental groups. This implies that there are algorithms to decide whether a 3-manifold is a Seifert fiber space.Geometric Topology57M50, 57M07text