SP[a, b]
denotes a 4-dimensional scalar product. SP[a, b]
is transformed into ScalarProduct[a, b]
by FeynCalcInternal
.
SP[p]
is the same as SP[p, p]
(=p^2).
Overview, Calc, ExpandScalarProduct, ScalarProduct.
[p, q] + SP[q] SP
\overline{p}\cdot \overline{q}+\overline{q}^2
[p - q, q + 2 p] SP
(\overline{p}-\overline{q})\cdot (2 \overline{p}+\overline{q})
[ SP[p - q, q + 2 p] ] Calc
-\overline{p}\cdot \overline{q}+2 \overline{p}^2-\overline{q}^2
[SP[p - q]] ExpandScalarProduct
-2 \left(\overline{p}\cdot \overline{q}\right)+\overline{p}^2+\overline{q}^2
[a, b] // StandardForm
SP
(*SP[a, b]*)
[a, b] // FCI // StandardForm
SP
(*Pair[Momentum[a], Momentum[b]]*)
[a, b] // FCI // FCE // StandardForm
SP
(*SP[a, b]*)