Algorithms for twisted conjugacy classes of polycyclic-by-finite groups II

Sam Tertooy

We construct an algorithm that, given a pair of homomorphisms between polycyclic-by-finite groups, determines whether their Reidemeister number is finite, and if so returns a set o…