Re: [sage-combinat-devel] Re: Image of a permutation

2020-03-08 Thread Nicolas M. Thiery
> Oops. Certainly 2 is fixed, so, doesn't belong to the support. > Deserves a ticket, IMHO. Ouch. Indeed! Nicolas -- Nicolas M. ThiƩry "Isil" http://Nicolas.Thiery.name/ -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group.

[sage-combinat-devel] Re: Image of a permutation

2020-03-08 Thread Simon King
On 2020-03-08, David Joyner wrote: > On a tangential matter, I'd like to add that > according to Dan Bump's notes "Group Representation > Theory" (http://sporadic.stanford.edu/bump/group/gr1_4.html), > this set of elements that the permutations does not > fix is called the support. Exactly. > If

[sage-combinat-devel] Re: Image of a permutation

2020-03-08 Thread Simon King
On 2020-03-08, David Joyner wrote: > I agree with Michael O, a permutation is a bijection, > so the image is the domain is the codomain. +1 > For a patch to "define the image of a permutation > to be the set of elements that it does not fix" is a > mistake, IMHO. Maybe the set computed could be