Can you clarify this a bit? Obviously, there's a difference between the product of matrices of permutations and the matrix of the product of permutations. That is, they are 'reversed.' But, multiplication in the matrices is not the same operation as the one imposed on the elements from a group. For example, take a group acting on [2,4,6] and one acting on [1,3,5] in Sage, then create the corresponding 6x6 matrices for their elements. You can of course multiply matrices from the even group with the odd group... but this has absolutely nothing to do with the multiplicative structure of either group. So, my gut instinct is that the methods for going from a permutation or a permutation group element to a matrix should be identical. (Afterall, permgroup elements and matrices themselves have no multiplicative structure... this is something given by the group that contains them. We're not translating the group structure, only the permutation structure.) Is that what you're asking?
Jason On Sat, Jul 10, 2010 at 10:48 AM, Mike Hansen <mhan...@gmail.com> wrote: > Hello all, > > There is a patch a #2215 [1] that needs a (hopefully quick) design > decision. It defines _matrix_ for Permutation objects so that > matrix(p) works. I originally wrote the patch so that it was > consistent with .to_matrix(), but David Joyner thought that it should > be consistent with PermutationGroupElement (whose multiplication is > 'reversed'). > > Basically, it'd just be good to get some additional third party input > so that we can close the ticket. > > --Mike > > [1] http://trac.sagemath.org/sage_trac/ticket/2215 > > -- > You received this message because you are subscribed to the Google Groups > "sage-combinat-devel" group. > To post to this group, send email to sage-combinat-de...@googlegroups.com. > To unsubscribe from this group, send email to > sage-combinat-devel+unsubscr...@googlegroups.com<sage-combinat-devel%2bunsubscr...@googlegroups.com> > . > For more options, visit this group at > http://groups.google.com/group/sage-combinat-devel?hl=en. > > -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To post to this group, send email to sage-combinat-de...@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.