<<HighEnergyPhysics`FeynCalc`

Loading FeynCalc from C:\Program Files\Wolfram Research\Mathematica\7.0\AddOns\Applications\HighEnergyPhysics

FeynCalc 8.1.0 For help, type ?FeynCalc, open FeynCalcRef8.nb or visit www.feyncalc.org

Loading FeynArts, see www.feynarts.de for documentation

FeynArts 3.4 patched for use with FeynCalc

MT[μ,ν]

MT[μ,ν]MT[μ,ν]
Contract[%]

FV[p,μ]

MT[μ,ν] FV[p,μ]FV[q,ν]
Contract[%]

MT[μ,ν] FV[p,μ]FV[p,ν]
Contract[%]

GA[1]

GA[μ].GA[ν]
GA[μ].GA[μ]
Contract[%]
Calc[%]

Calc[GA[1].GA[1]] (* nao faz uso das formas explícitas das Gamma, evita escolher representação e métrica (onde invitavel usa (g^(μν)) = {+ - - -} ) *)

pag 203

Anticomut[A_,B_]:=A.B+B.A

a Anticomut[x,y]
Expand[%]

GA[5].GA[5]
Calc[%]

Anticomut[GA[μ],GA[5]]
Calc[%]

Tr[GA[μ]]
Tr[GA[5]]
Tr[GA[μ].GA[α].GA[ν]]

pag 204

GA[μ].GA[ν]
Tr[%]

GA[μ,ν]
Tr[%]

GA[μ].GA[5]
Tr[%]

Comut[A_,B_]:=A.B-B.A
σ[μ_,ν_]:=1/2 Comut[GA[μ],GA[ν]]

σ[α,β]
Tr[%]

DiracSigma[GA[α],GA[β]] (* aqui ele é definido com I/2 na frente *)
DiracSigmaExplicit[%]
Tr[%]

GA[μ,ν,α,β]
Tr[%]

GA[μ,ν,α,5]
Tr[%]

GA[μ,ν,α,β,ρ,5]
Tr[%]

pag 205

GA[μ,ν,α,β,5]  (* sinal diferente por conta da métrica *)
Tr[%]

GA[μ,ν,μ] 
Calc[%]

pag 206

GA[μ,ν,ρ,μ] 
Calc[%]

GA[μ,ν,ρ,γ,μ] 
Calc[%]

GS[k]
GS[k].GS[k]
Calc[%]

;
GA[μ].(-I GS[kp]-mu).GA[ν].(-I GS[k]+mu)
T1=Tr[%]

;
GA[μ].(-I GS[p]-me).GA[ν].(-I GS[pp]+me)
Tr[%]
T2=%/.me->0

T1 T2/4
Calc[%]

pag 210

-Tr[GS[pp].GA[μ].GS[p].GA[ν].((1-GA[5])/2)]
F1=Expand[%]

-Tr[GS[k].GA[μ].GS[kp].GA[ν].((1-GA[5])/2)]
F2=Expand[%]

Calc[F1 F2]