WreathProducts

[fieker]

julia> wreath_product(abelian_group(PermGroup, [4]), symmetric_group(4))
<permutation group of size 6144 with 6 generators>

julia> maximal_subgroup_reps(ans)
5-element Vector{WreathProductGroup}:
 <permutation group with 11 generators>
 <permutation group with 11 generators>
 <permutation group with 11 generators>
 Group([ (9,13)(10,14)(11,15)(12,16), (1,9)(2,10)(3,11)(4,12)(5,13)(6,14)(7,15)(8,16), (1,2,3,4) ])
 Group([ (1,2,3,4), (5,6,7,8)(9,14,12,13,11,16,10,15), (5,16,9,6,13,10,7,14,11,8,15,12) ])

julia> map(is_transitive, ans)
ERROR: MethodError: no method matching is_transitive(::WreathProductGroup)

[joschmitt]

Looks like it is related to #3413.