Name: Vladyslav Shtabovenko Date: 07/02/14-11:29:02 PM Z


As Rolf correctly noticed, FeynCalc already offers routines for doing
tensor decompositions, so that there is actually no need to do it by hand.

Coming back to your particular example, there are two reasons why the
replacement doesn’t work

1) The results returned by the FeynCalc functions are in the FeynCalc
internal representation, while your replacement rules uses the FeynCalc
external representation. To switch between the two use FCE and FCI

http://www.feyncalc.org/FeynCalcBook/FCE/
http://www.feyncalc.org/FeynCalcBook/FCI/

2) FeynCalc uses Dot operator to handle non-commutative objects like
Dirac or color matrices. So
GSD[k].GSD[l] actually means Dot[GSD[k],GSD[l]]

So the correct replacement rule is

s5 = FCE[ss4] /. {Dot[a___, GSD[l], b___] SPD[l, q] ->
    Dot[a, GSD[q], b] SPD[l, l]/D}

But again, I would rather recommend using FeynCalc routines for this
kind of things

Cheers,
Vladyslav

Am 02.07.2014 21:39, schrieb Purnendu:
> Suppose I have do something like this :
>
> nprop = (MTD[\[Rho], \[Sigma]] -
> FVD[l, \[Rho]] FVD[l, \[Sigma]]/SPD[l, l])
>
> ss4 = Calc[GAD[\[Rho]].GSD[k].GSD[q].GAD[\[Sigma]].nprop] //
> DiracSimplify
>
> In this next step, I want to apply :
>
> s5 = ss4 /. {SPD[l, q] GSD[l] -> GSD[q] SPD[l, l]/D}
>
> How do I make this substitution to work?
>
> -Purnendu
>