PolesHaveRoots_opt