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?
Thanks for your help.