Same as before, without Explicit the input does not make sense
DiracTrace[
ComplexConjugate[
Explicit[QuarkPropagator[{p, m}], Dimension -> 4]]] /.
DiracTrace -> TR // Contract // Simplify
DiracTrace[Explicit[QuarkPropagator[{p, m}], Dimension -> 4]] /.
DiracTrace -> TR // Contract // Simplify
Am 20.08.2017 um 02:37 schrieb Maksym:
> By the way, Feynman rules tell me that there must be GS[k1+k2]+mp.
>
> Maybe similar question, but I don't understand why the traces
>
> DiracTrace[ComplexConjugate[QuarkPropagator[{p, m}]]] /.
> DiracTrace -> TR // Contract // Simplify
> DiracTrace[QuarkPropagator[{p, m}]] /. DiracTrace -> TR //
> Contract // Simplify
>
> give similar results (4im/(p^2-m^2)), while they must be different because of the sign.
>
This archive was generated by hypermail 2b29 : 09/04/20-12:55:05 AM Z CEST