**Next message:**Tomas Brauner: "Re: Schouten identity"**Previous message:**Rolf Mertig: "Re: Change dimension in FourDivergence"**Next in thread:**Samuel Wallon: "Schouten identity"**Maybe reply:**Samuel Wallon: "Schouten identity"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]**Mail actions:**[ respond to this message ] [ mail a new topic ]

Hello,

is there a way to use in Mathematica/Feyncalc (as a simplification rule) the Schouten identity? It can be written in several different forms, for example (schematically)

MT[f,a] Eps[b,c,d,e] + MT[f,b] Eps[c,d,e,a] + MT[f,c] Eps[d,e,a,b] + MT[f,d] Eps[e,a,b,c] +MT[f,e] Eps[a,b,c,d] = 0

which holds in four dimensions simply because the left hand side is fully antisymmetric in the five indices a,b,c,d,e. An analogous identity holds in other dimensions as well. In general the indices can be dotted to other vectors or tensors, so one needs to Uncontract all indices as a first step. This identity seems to be included in FORM, but I have not found it in Mathematica/Feyncalc. I would greatly appreciate any hint at how it could be implemented!

Thanks!

Tomas

**Next message:**Tomas Brauner: "Re: Schouten identity"**Previous message:**Rolf Mertig: "Re: Change dimension in FourDivergence"**Next in thread:**Samuel Wallon: "Schouten identity"**Maybe reply:**Samuel Wallon: "Schouten identity"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]**Mail actions:**[ respond to this message ] [ mail a new topic ]

*
This archive was generated by hypermail 2b29
: 05/21/18-05:00:02 PM Z CEST
*