Revision history [back]

Perhaps, you want:

G.as_permutation_group().as_finitely_presented_group()

Perhaps, you want:

G.as_permutation_group().as_finitely_presented_group()
G.as_permutation_group().as_finitely_presented_group(reduced=True)