FC> 'AgGroup'. Es gibt deswegen eine spezielle Funktion 'AgGroupFpGroup',
FC> welche eine Potenz/Kommutator oder Potenz/Konjugierten Pr"azentation
FC> als Argument erwartet und die Ag-Gruppe zur"uckliefert. Diese Funktion
FC> nimmt *keine* Umstellungen der Pr"asentation vor, so dass die
FC> Erzeuger nach Tiefe sortiert sein m"ussen.

Ja, aber in der Regel ist es doch so, dass man irgendeine
Praesentation einer (aufloesbaren) Gruppe hat. Bei groesseren Gruppen
kann es ziemlich muehsam sein, sie von Hand in eine Potenz/Kommutator
oder Potenz/Konjugierten Praesentation umzurechnen. Wird es Routinen
fuer diese Aufgabe geben ?

Vielen Dank fuer die Informationen zum Thema PC-Praesentation

Martin Wursthorn