How to construct direct product of cyclic groups
If I use
D = direct_product_permgroups([G1,G2])
where
G1 = CyclicPermutationGroup(3)
G2 = CyclicPermutationGroup(4)
then I get D presented as a subgroup of SymmetricGroup(7). Is there a way to obtain the product of G1 and G2 as a subgroup of SymmetricGroup(12)?
More generally, is there a way to obtain direct product of CyclicPermutationGroup(n1) and CyclicPermutationGroup(n2) as a subgroup of SymmetricGroup(n1 n2) rather than SymmetricGroup(n1+n2)?