> < ^ Date: Thu, 20 Jun 1996 14:13:00 +0100 (MET)
> < ^ From: Frank Celler <frank.celler@math.rwth-aachen.de >
^ Subject: Ag Groups

Dear Gap-Forum,

Leonard Soicher asked:

The AgGroup function appears to be able to take as argument a
"PQp record" produced by the function PQuotient, and return the
corresponding AgGroup. This feature is not documented. Is it a
supported feature? If so, will it continue to be supported in future
releases of Gap?

yes, such a function will be supported in further releases. However,
its name will change because ag groups will be treated in a more
general context of polycyclic groups. There will be backward
compatibility mode so that you can still use 'AgGroup' even for the
output of 'PrimeQuotient'.

best wishes

> < [top]