Revision history [back]

By trial and error I found the answer:

K = D.as_finitely_presented_group() H = K.as_permutation_group()

This gives the desired presentation of D.

By trial and error I found the answer:

K = D.as_finitely_presented_group() D.as_finitely_presented_group()

H = K.as_permutation_group()

This gives the desired presentation of D.