gh-35010: add doctest for #13569

    
Closes #13569.
    
URL: #35010
Reported by: Marc Mezzarobba
Reviewer(s): Edgar Costa, Frédéric Chapoton, roed314

src/sage/groups/perm_gps/permgroup_element.pyx

@@ -86,6 +86,14 @@ We create element of a permutation group of large degree::
     sage: G = SymmetricGroup(30)
     sage: s = G(srange(30,0,-1)); s
     (1,30)(2,29)(3,28)(4,27)(5,26)(6,25)(7,24)(8,23)(9,22)(10,21)(11,20)(12,19)(13,18)(14,17)(15,16)
+
+TESTS:
+
+Check that :trac:`13569` is fixed::
+
+    sage: [g*h for g in SymmetricGroup(3) for h in AlternatingGroup(3)]
+    [(), (1,2,3), (1,3,2), (1,3,2), (), (1,2,3), (1,2,3), (1,3,2), (), (2,3),
+    (1,2), (1,3), (1,3), (2,3), (1,2), (1,2), (1,3), (2,3)]
 """
 
 # ****************************************************************************