Contract[expr] contracts pairs of Lorentz indices of metric tensors, four-vectors and (depending on the optionEpsContract) of Levi-Civita tensors in expr. For the contraction of Dirac matrices with each other use DiracSimplify. Contract[exp1, exp2] contracts (exp1*exp2), where exp1 and exp2 may be larger products of sums of metric tensors and 4-vectors.
![[Graphics:Images/index_gr_1.gif]](Images/index_gr_1.gif)
See also: Pair, DiracSimplify, MomentumCombine.
![[Graphics:Images/index_gr_3.gif]](Images/index_gr_3.gif)
![[Graphics:Images/index_gr_5.gif]](Images/index_gr_5.gif)
![[Graphics:Images/index_gr_7.gif]](Images/index_gr_7.gif)
![[Graphics:Images/index_gr_9.gif]](Images/index_gr_9.gif)
![[Graphics:Images/index_gr_11.gif]](Images/index_gr_11.gif)
The default dimension for MetricTensor is 4.
![[Graphics:Images/index_gr_13.gif]](Images/index_gr_13.gif)
A short way to enter D-dimensional metric tensors is given by MTD. The "." as multiplication operator is not necessary but just convenient for typesetting.
![[Graphics:Images/index_gr_15.gif]](Images/index_gr_15.gif)
![[Graphics:Images/index_gr_17.gif]](Images/index_gr_17.gif)
![[Graphics:Images/index_gr_19.gif]](Images/index_gr_19.gif)
![[Graphics:Images/index_gr_21.gif]](Images/index_gr_21.gif)
![[Graphics:Images/index_gr_23.gif]](Images/index_gr_23.gif)
![[Graphics:Images/index_gr_25.gif]](Images/index_gr_25.gif)
![[Graphics:Images/index_gr_27.gif]](Images/index_gr_27.gif)
![[Graphics:Images/index_gr_29.gif]](Images/index_gr_29.gif)
![[Graphics:Images/index_gr_31.gif]](Images/index_gr_31.gif)
![[Graphics:Images/index_gr_33.gif]](Images/index_gr_33.gif)
![[Graphics:Images/index_gr_35.gif]](Images/index_gr_35.gif)
![[Graphics:Images/index_gr_37.gif]](Images/index_gr_37.gif)
![[Graphics:Images/index_gr_39.gif]](Images/index_gr_39.gif)
![[Graphics:Images/index_gr_41.gif]](Images/index_gr_41.gif)
The FeynCalc Book | ![]() | ![]() |