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'.