Appendix B

In[ ]:= Needs["Notation`"]

<< FeynCalc`

FeynCalc 9.2.0. For help, use the documentation center, check out the wiki or write to the mailing list.

See also the supplied examples. If you use FeynCalc in your research, please cite
• V. Shtabovenko, R. Mertig and F. Orellana,
Comput. Phys. Commun., 207C, 432-444, 2016, arXiv:1601.01167
• R. Mertig, M. Böhm, and A. Denner, Comput. Phys. Commun., 64, 345-359, 1991.

In[ ]:= Symbolize ξ_ 

Symbolize k_ 

Symbolize p_ 
Constants → {c};
Constants → {m};
Constants → {ℏ};

In[ ]:= SP[ξ1 , ξ1 ] = -1;

SP[ξ2 , ξ2 ] = -1;
SP[k1 , k1 ] = 0;
SP[k2 , k2 ] = 0;
SP[p1 , p1 ] = (m c)2 ;
SP[p2 , p2 ] = (m c)2 ;
SP[ξ1 , k1 ] = 0;
SP[ξ2 , k2 ] = 0;
SP[ξ1 , p1 ] = 0;
SP[ξ2 , p1 ] = 0;
SP[p2 , k2 ] = SP[p1 , k1 ];
SP[p2 , k1 ] = SP[p1 , k2 ];
SP[p1 , p2 ] = (m c)2 + ℏ2 SP[k1 , k2 ];
1
SP[k1 , k2 ] = (SP[p1 , k1 ] - SP[p1 , k2 ]);
ℏ
SP[p2 , ξ1 ] = -ℏ SP[k2 , ξ1 ];
SP[p2 , ξ2 ] = ℏ SP[k1 , ξ2 ];
2 dlmc-pol.nb

In[ ]:=

GS[k1 ] GS[k2 ]
Q = GS[ξ2 ]. .GS[ξ1 ] + GS[ξ1 ] . .GS[ξ2 ]
2 SP[p1 , k1 ] 2 SP[p1 , k2 ]
GS[k1 ] GS[k2 ]
Qb = GS[ξ1 ]. .GS[ξ2 ] + GS[ξ2 ]. .GS[ξ1 ]
2 SP[p1 , k1 ] 2 SP[p1 , k2 ]
1 GS[p2 ] + m c GS[p1 ] + m c
TR .Q. .Qb
2 2mc 2mc
1 GS[p2 ] + m c GS[p1 ] + m c
Simplify TR .Q. .Qb
2 2mc 2mc
γ · k2 γ · k1
Out[ ]= γ · ξ1 . .γ · ξ2  + γ · ξ2 . .γ · ξ1 
2 k2 · p1  2 k1 · p1 

γ · k1 γ · k2
Out[ ]= γ · ξ1 . .γ · ξ2  + γ · ξ2 . .γ · ξ1 
2 k1 · p1  2 k2 · p1 

4 k2 · p1  k1 · p1  ( ξ1 · ξ2 )2 + ( k1 · p1 )2 + ( k2 · p1 )2 - 2 k2 · p1  k1 · p1 

Out[ ]=
4 c2 m2 k1 · p1  k2 · p1 

2 k2 · p1  k1 · p1  2 ( ξ1 · ξ2 )2 - 1 + ( k1 · p1 )2 + ( k2 · p1 )2
Out[ ]=
4 c2 m2 k1 · p1  k2 · p1 