TFIOrder
TFIOrder[exp]
orders the arguments of some TFI
functions in exp in a standard way.
See also
Overview, TarcerToFC.
Examples
Tarcer`TFI[D, p^2, {{1, M2}, {1, M1}, {1, M3}, {1, M4}, {1, M5}}]
TFIOrder[%]
TarcerˋTFID,p2,11111M2M1M3M4M5
TarcerˋTFID,p2,11111M1M2M4M3M5
((2*m2^4*m3^2 + m2^2*(-((-2 + D)*m1^2) + (-6 + D)*m3^2)*m4^2 + m4^2*(2*(-3 +
D)*m1^4 + m3^2*(2*(-3 + D)*m3^2 - (-4 + D)*m4^2) + m1^2*(-4*(-3 + D)*m3^2 + (-2 +
D)*m4^2)) + (-(m2^2*(4*m3^2 + (-6 + D)*m4^2)) + m4^2*((-6 + D)*m1^2 - (-2 +
D)*m3^2 + (-4 + D)*m4^2))*SPD[p, p] + (2*m3^2 - (-4 + D)*m4^2)*SPD[p,
p]^2)*(Tarcer`TFI[D, SPD[p, p], {{1, m1}, {1, m2}, {1, m3}, {1, m4}, {1, m3}}] -
Tarcer`TFI[D, SPD[p, p], {{1, m3}, {1, m4}, {1, m1}, {1, m2}, {1, m3}}]))/(4*(m2^4*
m3^2 - m2^2*(m1^2 + m3^2)*m4^2 + m4^2*(m1^4 + m3^4 + m1^2*(-2*m3^2 + m4^2)) -
((m1^2 + m3^2)*m4^2 + m2^2*(2*m3^2 - m4^2))*SPD[p, p] + m3^2*SPD[p, p]^2))
TFIOrder[%]
(p2(m42((D−6)m12−(D−2)m32+(D−4)m42)−m22((D−6)m42+4m32))+m22m42((D−6)m32−(D−2)m12)+m42(2(D−3)m14+m12((D−2)m42−4(D−3)m32)+m32(2(D−3)m32−(D−4)m42))+p4(2m32−(D−4)m42)+2m24m32)TarcerˋTFID,p2,11111m1m2m3m4m3−TarcerˋTFID,p2,11111m3m4m1m2m3/(4(−p2(m42(m12+m32)+m22(2m32−m42))−m22m42(m12+m32)+m42(m14+m12(m42−2m32)+m34)+m24m32+m32p4))
0