A Finite Soluble Quotient Algorithm
arXiv:1801.09268 · doi:10.1006/jsco.1994.1064
Abstract
An algorithm for computing power conjugate presentations for finite soluble quotients of predetermined structure of finitely presented groups is described. Practical aspects of an implementation are discussed.