SymmetricGroup function doesn't seem to do arbitrary sets

[sagetrac-arattan]

The following doesn't seem right to me. I tried this on sage 4.5.3 and 4.6. My impression is that the SymmetricGroup function can take a list of distinct integers X as an argument and give the symmetric group S_X. However, we can try the following.

sage: f=SymmetricGroup([1,2,4]) 
sage: for i in f: 
....:     print i
....:
() 
(2,3) 
(1,2) 
(1,2,3) 
(1,3,2) 
(1,3) 
sage: f[3] 
(1,2,3) 
sage: f[3](4) 
4 
sage: f[3](3) 
1 
sage: f.set() 
(1, 2, 4)

Thus, it seems that f.set() returns the right support, but in fact the support for the group is 1,2,3. This suggests to me that S_X = S_{1,2,3}.

CC: @jdemeyer

Component: combinatorics

Keywords: SymmetricGroup

Reviewer: Mike Hansen

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

[mwhansen]

comment:2

This should be fixed by #10335

[mwhansen]

comment:4

This can indeed be closed:

sage: f=SymmetricGroup([1,2,4])
sage: for i in f:        
....:     print i
....:     
()
(2,4)
(1,2)
(1,2,4)
(1,4,2)
(1,4)
sage: f[3] 
(1,2,4)
sage: f[3](4)
1
sage: f[3](3)
3
sage: f.set()
/opt/sage/local/bin/sage-ipython:1: DeprecationWarning: (Since Sage Version 4.7.1) set is deprecated. Please use domain instead.
  #!/usr/bin/env python
{1, 2, 4}

[tscrim]

comment:5

Verified results that this can be closed.

[jdemeyer]

comment:7

To mark as ticket as needing to be closed, you should put the milestone to sage-duplicate/invalid/wontfix.

[jdemeyer]

Reviewer: Mike Hansen