Uncontract[exp, q1, q2, ...] uncontracts
Eps and DiracGamma.
Uncontract[exp, q1, q2, Pair -> {p}] uncontracts also
p \cdot q_1 and p \cdot q_2;
The option Pair -> All uncontracts all momenta.
LC[\[Mu], \[Nu]][p, q]
Uncontract[%, p]\bar{\epsilon }^{\mu \nu \overline{p}\overline{q}}
\overline{p}^{\text{\$AL}(\text{\$11})} \bar{\epsilon }^{\mu \nu \;\text{\$AL}(\text{\$11})\overline{q}}
GS[p]
Uncontract[%, p]\bar{\gamma }\cdot \overline{p}
\bar{\gamma }^{\text{\$AL}(\text{\$12})} \overline{p}^{\text{\$AL}(\text{\$12})}
Uncontract[LC[\[Mu], \[Nu]][p, q], p, q]\overline{p}^{\text{\$AL}(\text{\$14})} \overline{q}^{\text{\$AL}(\text{\$13})} \left(-\bar{\epsilon }^{\mu \nu \;\text{\$AL}(\text{\$13})\text{\$AL}(\text{\$14})}\right)
By default scalar products are not uncontracted.
Uncontract[SP[p, q], q]\overline{p}\cdot \overline{q}
Use the option Pair->All to make the function take
care of the scalar products as well
Uncontract[SP[p, q], q, Pair -> All]\overline{p}^{\text{\$AL}(\text{\$15})} \overline{q}^{\text{\$AL}(\text{\$15})}
Uncontract[SP[p, q]^2, q, Pair -> All]\overline{p}^{\text{\$AL}(\text{\$16})} \overline{p}^{\text{\$AL}(\text{\$17})} \overline{q}^{\text{\$AL}(\text{\$16})} \overline{q}^{\text{\$AL}(\text{\$17})}
For Cartesian scalar products you need to use the option
CartesianPair->All
Uncontract[CSP[p, q], q, Pair -> All]\overline{p}\cdot \overline{q}
Uncontract[CSP[p, q], q, CartesianPair -> All]\overline{p}^{\text{\$AL}(\text{\$18})} \overline{q}^{\text{\$AL}(\text{\$18})}