Ticket #14291: ducktype_design.patch

sage/groups/perm_gps/permgroup.py

@@ -1120 +1120 @@
             sage: S4.orbit(((1,2),(3,4)), action = "OnSetsDisjointSets")
             [[[1, 2], [3, 4]], [[1, 4], [2, 3]], [[1, 3], [2, 4]]]
 
+        Action of `S_4` (on a nonstandard domain) on tuples of sets::
+
+            sage: S4 = PermutationGroup([ [('c','d')], [('a','c')], [('a','b')] ])
+            sage: S4.orbit((('a','c'),('b','d')),"OnTuplesSets")
+            [[['a', 'c'], ['b', 'd']], [['a', 'd'], ['b', 'c']], [['b', 'c'], ['a', 'd']], [['b', 'd'], ['a', 'c']], [['c', 'd'], ['a', 'b']], [['a', 'b'], ['c', 'd']]]
+
+        Action of `S_4` (on a very nonstandard domain) on tuples of sets::
+
+            sage: S4 = PermutationGroup([ [((11,(12,13)),'d')], [((12,(12,11)),(11,(12,13)))], [((12,(12,11)),'b')] ])
+            sage: S4.orbit((( (11,(12,13)), (12,(12,11))),('b','d')),"OnTuplesSets")
+            [[[(11, (12, 13)), (12, (12, 11))], ['b', 'd']], [['d', (12, (12, 11))], ['b', (11, (12, 13))]], [['b', (11, (12, 13))], ['d', (12, (12, 11))]], [['d', (11, (12, 13))], ['b', (12, (12, 11))]], [['b', 'd'], [(11, (12, 13)), (12, (12, 11))]], [['b', (12, (12, 11))], ['d', (11, (12, 13))]]]
+
         """
         if action == "OnPoints":
             try:
@@ -1131 +1143 @@
                                  "argument explicitly.")
             return [self._domain_from_gap[x] for x in self._gap_().Orbit(point).sage()]
 
-        elif action in self.supported_actions:
-            if action in ['OnTuples', 'OnSets', 'OnPairs']:
-                points = [self._domain_to_gap[x] for x in point]
-                orbits = self._gap_().Orbit(points, action).sage()
-                return [[self._domain_from_gap[x] for x in o] for o in orbits]
-            else:
-                points = [[self._domain_to_gap[x] for x in p] for p in point]
-                orbits = self._gap_().Orbit(points, action).sage()
-                return [[[self._domain_from_gap[x] for x in p] for p in o]
-                        for o in orbits]
-
-        else:
-            raise ValueError("'action' can only take values among "+
-                             self.supported_actions)
+        def dom_to_gap(x):
+            try:
+                return self._domain_to_gap[x]
+            except (TypeError, KeyError):
+                return [dom_to_gap(y) for y in x]
+
+        def dom_from_gap(x):
+            try:
+                return self._domain_from_gap[x]
+            except (TypeError, KeyError):
+                return [dom_from_gap(y) for y in x]
+
+        return dom_from_gap(self._gap_().Orbit(dom_to_gap(point), action).sage())
 
     def action(self, domain, action = "OnPoints"):
         """
@@ -1182 +1193 @@
             sage: S3.order()
             6
 
+        Action of `S_4` (on a nonstandard domain) on tuples of sets::
+
+            sage: S4 = PermutationGroup([ [('c','d')], [('a','c')], [('a','b')] ])
+            sage: o6 = S4.orbit((('a','c'),('b','d')),"OnTuplesSets")
+            sage: S4.action(o6, "OnTuplesSets")
+            Permutation Group with generators [(2,5)(3,6), (1,2)(3,4), (1,3)(2,4)]
+
+        Action of `S_4` (on a very nonstandard domain) on tuples of sets::
+
+            sage: S4 = PermutationGroup([ [((11,(12,13)),'d')], [((12,(12,11)),(11,(12,13)))], [((12,(12,11)),'b')] ])
+            sage: o6 = S4.orbit((( (11,(12,13)), (12,(12,11))),('b','d')),"OnTuplesSets")
+            sage: S4.action(o6, "OnTuplesSets")
+            Permutation Group with generators [(2,4)(3,6), (1,2)(3,5), (1,3)(2,5)]
+
         """
-        return PermutationGroup(gap_group = self._gap_().Action(domain, action))
+        def dom_to_gap(x):
+            try:
+                return self._domain_to_gap[x]
+            except (TypeError, KeyError):
+                return [dom_to_gap(y) for y in x]
+
+        return PermutationGroup(gap_group = self._gap_().Action(
+             dom_to_gap(domain), action))
 
     def transversals(self, point):
         """