Orbit-stabilizer Problems and Computing Normalizers for Polycyclic Groups

We present a practical algorithm to solve the orbit-stabilizer problem for subgroups of the free abelian group Zdunder the action of a polycyclic group of automorphisms. As an application we obtain a practical algorithm to compute the normalizer of a subgroup and, similarly, we can solve the subgroup-conjugacy problem in polycyclic groups.