On Sat, Aug 25, 2012 at 10:54 PM, Chris Smith <[email protected]> wrote: > Well, one way to "fix" it would be to overload __pow__ so that P**int > does the usual power but P**P does multiplication...but python will > parse this from R to L. Does P**P have meaning of its own?
In group theory, (and in Gap) x^y means "conjugation" : y^(-1)*x*y. This is not implemented in Sage, so I would not say it is universal. It sounds like you are suggesting this: for elements of the Permutation class: 1. define __mult__ to be L to R mult, 1. overload __pow__ to be R to L mult, if both args are perms, and to be the usual power if the right arg is an int. If that is what you are saying, then I vote +1 for it (provided it is clearly documented as usual). > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/sympy?hl=en. > -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
