25.40 NextClassPQp

NextClassPQp( G, P )

Let P be the PQp record for the exponent-p class c quotient of G. NextClassPQp returns a PQp record for the class c+1 quotient of G, if such a quotient exists, and P otherwise. In latter case there exists a maximal p-quotient of G which has class c and this is indicated by a comment if InfoPQ1 is set the Print.

Previous Up Top Next
Index