diff --git a/src/sage/groups/perm_gps/permgroup.py b/src/sage/groups/perm_gps/permgroup.py index c2633b534d7..36198c25797 100644 --- a/src/sage/groups/perm_gps/permgroup.py +++ b/src/sage/groups/perm_gps/permgroup.py @@ -3131,15 +3131,11 @@ def as_finitely_presented_group(self, reduced=False): sage: PermutationGroup([]).as_finitely_presented_group() Finitely presented group < a | a > - sage: S = SymmetricGroup(6) + sage: S = SymmetricGroup(4) sage: perm_ls = [S.random_element() for i in range(3)] sage: G = PermutationGroup(perm_ls) - sage: while True: - ....: try: - ....: assert G.as_finitely_presented_group().as_permutation_group().is_isomorphic(G) # sometimes results in GAP error (see :issue:`32141`) - ....: break - ....: except ValueError: - ....: pass + sage: G.as_finitely_presented_group().as_permutation_group().is_isomorphic(G) + True `D_9` is the only non-Abelian group of order 18 with an automorphism group of order 54 [TW1980]_::