On Fri, Aug 5, 2011 at 12:50 AM, cschwan <[email protected]> wrote: > Thank you for your answers! > > Unfortunately, I do not have access to the book Alan mentioned (I > think of buying it, saw it before when searching for the subject). > Nevertheless, thank you for your PDF-file, I will have a look into it. > > The example from Ondřej is looking very similar to what I am looking > for. However, I noticed that the gamma matrices are implemented by a > specific representation. In my opinion it would be better to treat > them fully symbolically in order to gain results for dimensional > regularized calculations, which alter the Clifford-identity to the > following: > > \gamma^\mu \gamma^\nu + \gamma^\nu \gamma^\mu = (2-\epsilon) g^{\mu > \nu}
That's right. There are basically 2 approaches: 1) use some particular representation, and simply multiply all the matrices and then take a trace 2) do things symbolically using the relations between the matrices I decided to try 1), as it seemed to me, that it should work fine. But the resulting matrix is quite a mess, so one would need to figure out whether there is some good way to simplify the result. As to 2), I think there the difficulty is in the fact, that one needs to know which rules to apply and how. If you go this route, I would be very interested if you manage to get it working. > > I seriously think of implementing this functionality. That would be really great. Whenever you have something, just let us know on the list and we'll help you with git and patches. Or any other question you might have. Ondrej -- 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.
