FCLoopBasisSplit
FCLoopBasisSplit[int, {q1, q2, ...}]
checks if the given loop integral factorizes and if so splits it into independent integrals.
See also
Overview
Examples
FCI@FAD[{q1, m}, {q2, m}, {p1 - p2, 0}]
FCLoopBasisSplit[%, {q1, q2}, Head -> loopInt]
(q12−m2).(q22−m2).(p1−p2)21
{loopInt(q12−m21,{q1}),loopInt(q22−m21,{q2}),loopInt((p1−p2)21,0)}
FCI[SFAD[q1, q1 - q2, q2, {q3, m^2}]]
FCLoopBasisSplit[%, {q1, q2, q3}, Head -> loop, FCE -> True]
(q12+iη).((q1−q2)2+iη).(q22+iη).(q32−m2+iη)1
{loop((q32−m2+iη)1,{q3}),loop((q12+iη).(q22+iη).((q1−q2)2+iη)1,{q1,q2})}