Dear GAP-forum,
I'm studying Alexander Wegner's dissertation entitled
"Implementation eines Algorithmus zur Berechnung endlicher
aufl"osbarer Faktorgruppen einer endlich pr"asentierten
Gruppe im gruppentheoretischen Programmsystem GAP".
But apparently, this algorithm is not implemented in GAP-3.2.
I would like to know if there is such algorithm that computes
finite solvable factor groups of a finitely presented group
implemented in any other system.
Ruth Schwingel