ImprimitiveWreathProduct( G, perm-group )
G is a matrix group, a G-module, a list of matrices, a permutation
group or a list of permutations, and perm-group can be a permutation
group or a list of permutations. Let G be the permutation or matrix
group specified or generated by the first argument, P the permutation
group specified or generated by the second argument. The wreath product
of G and P is calculated and returned. This is a matrix group or a
permutation group of dimension or degree dt, where d is the dimension
or degree of G and t the degree of P. If G is a permutation
group, this function has the same effect as WreathProduct(G, P).
GAP 3.4.4