A polycyclic quotient algorithm (Q1382042)

An algorithm to compute polycyclic quotients of a group given by a finite presentation is discussed. The algorithm is based on a generalization of the Gröbner basis method to the integral group ring of a polycyclic group. Most of this material can be found in the author's thesis (Rutgers Univ., 1996). A simplified version of this paper is also available [in DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 28, 159-167 (1997; Zbl 0874.20020)].