![[Graphics:Images/index_gr_1.gif]](Images/index_gr_1.gif)
Chisholm[x] substitutes products of three Dirac matrices or slashes by the Chisholm identity.
See also: EpsChisholm.
![[Graphics:Images/index_gr_2.gif]](Images/index_gr_2.gif)
![[Graphics:Images/index_gr_3.gif]](Images/index_gr_3.gif)
![[Graphics:Images/index_gr_4.gif]](Images/index_gr_4.gif){kind=small}
![[Graphics:Images/index_gr_5.gif]](Images/index_gr_5.gif)
The $MU$ variables are unique indices.
![[Graphics:Images/index_gr_6.gif]](Images/index_gr_6.gif){kind=small}
![[Graphics:Images/index_gr_7.gif]](Images/index_gr_7.gif)
![[Graphics:Images/index_gr_8.gif]](Images/index_gr_8.gif){kind=small}
![[Graphics:Images/index_gr_9.gif]](Images/index_gr_9.gif)
![[Graphics:Images/index_gr_10.gif]](Images/index_gr_10.gif){kind=small}
![[Graphics:Images/index_gr_11.gif]](Images/index_gr_11.gif)
![[Graphics:Images/index_gr_12.gif]](Images/index_gr_12.gif){kind=small}
![[Graphics:Images/index_gr_13.gif]](Images/index_gr_13.gif)
![[Graphics:Images/index_gr_14.gif]](Images/index_gr_14.gif){kind=small}
![[Graphics:Images/index_gr_15.gif]](Images/index_gr_15.gif)
![[Graphics:Images/index_gr_16.gif]](Images/index_gr_16.gif){kind=small}
![[Graphics:Images/index_gr_17.gif]](Images/index_gr_17.gif)
![[Graphics:Images/index_gr_18.gif]](Images/index_gr_18.gif){kind=small}
![[Graphics:Images/index_gr_19.gif]](Images/index_gr_19.gif)
![[Graphics:Images/index_gr_20.gif]](Images/index_gr_20.gif)
![[Graphics:Images/index_gr_21.gif]](Images/index_gr_21.gif)
Check that both a1.a1 and a2.a3 give the same.
![[Graphics:Images/index_gr_22.gif]](Images/index_gr_22.gif)
![[Graphics:Images/index_gr_23.gif]](Images/index_gr_23.gif)
![[Graphics:Images/index_gr_24.gif]](Images/index_gr_24.gif){kind=small}
![[Graphics:Images/index_gr_25.gif]](Images/index_gr_25.gif)
![[Graphics:Images/index_gr_26.gif]](Images/index_gr_26.gif){kind=small}
![[Graphics:Images/index_gr_27.gif]](Images/index_gr_27.gif)
| The FeynCalc Book |  ChiralityProjector |  ClearScalarProducts |