group orbits don't have full GAP functionality

[kcrisman]

In the code for sage/groups/perm_gps/permgroup.py, we have the following in the orbit cached method.

        actions = {
            "OnPoints"           : [],
            "OnSets"             : [Set],
            "OnPairs"            : [tuple],
            "OnTuples"           : [tuple],
            "OnSetsSets"         : [Set, Set],
            "OnSetsDisjointSets" : [Set, Set],
            "OnSetsTuples"       : [Set, tuple],
            "OnTuplesSets"       : [tuple, Set],
            "OnTuplesTuples"     : [tuple, tuple],
            }

and

        def input_for_gap(x, depth, container):
            if depth == len(container):
                try:
                    return self._domain_to_gap[x]
                except KeyError:
                    raise ValueError('{0} is not part of the domain'.format(x))
            x = [input_for_gap(xx, depth+1, container) for xx in x]
            if container[depth] is Set:
                x.sort()
            return x

This is supposed to recursively turn things into GAP-friendly objects. However, at least for the following example it fails (badly):

grp = PermutationGroup([ '(1,2,3,4,5)', '(1,2,4,3)' ])
els = list(grp)
grp.orbit(tuple(els[:4]), action = "OnSets")

However, it works very nicely in GAP itself. So we need to be able to mimic that - probably for a lot of these we are allowed to have sets with more than one element.

See this Stackoverflow question where there is more detail.

Component: group theory

Issue created by migration from https://trac.sagemath.org/ticket/29151

[kcrisman]

comment:1

See also this answer where the original user found a Sage-native way to do it, though presumably implementing correctly would be better.

[mkoeppe]

comment:2

Batch modifying tickets that will likely not be ready for 9.1, based on a review of the ticket title, branch/review status, and last modification date.

[mkoeppe]

comment:4

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.