TIDL
TIDL is a database of tensorial reduction formulas.
See also
Overview, TID.
Examples
p2pmu(p⋅q)
(p1⋅p2)2−p12p22p1mu((p1⋅p2)(p2⋅q)−p22(p1⋅q))−(p1⋅p2)2−p12p22p2mu(p12(p2⋅q)−(p1⋅p2)(p1⋅q))
TIDL[{{q1, mu}, {q2, nu}}, {p}]
(1−D)p2gmunu((p⋅q1)(p⋅q2)−p2(q1⋅q2))−(1−D)p4pmupnu(D(p⋅q1)(p⋅q2)−p2(q1⋅q2))
TIDL[{{q1, mu}, {q2, nu}}, {}]
Dgmunu(q1⋅q2)