RightTransversal(G, H) : GrpPC, GrpPC -> {@ GrpPCElt @}, Map

Given a group G and a subgroup H of G, this function returns

• An indexed set of elements T of G forming a right transversal for G over H; and
• The corresponding transversal mapping phi: G -> T. If T = [t_1, ..., t_r] and g in G, phi is defined by phi(g) = t_i, where g in H * t_i.

Transversal(G, H, K) : GrpPC, GrpPC, GrpPC -> {@ GrpPCElt @}, Map

An indexed set of representatives for the double cosets HuK in G, and the corresponding transversal mapping.