FCLoopBasisIncompleteQ[int, {q1, q2, ...}]
checks whether the loop integral or topology int
lacks propagators need to have a linearly independent basis .
The input can also consist of an FCTopology
object or a list thereof.
Overview, FCLoopBasisOverdeterminedQ.
[{q1, m1}]
FAD
[%, {q1}] FCLoopBasisIncompleteQ
[q1, l] FAD[{q1, m1}, {q1 - l + p, m}]
SPD
[%, {q1}] FCLoopBasisIncompleteQ
[{q1, m1}, {q2, m2}]
FAD
[%, {q1, q2}] FCLoopBasisIncompleteQ
[q1, q2, {q1 - l1, m1}, {q2 - l2, m2}]
FAD
[%, {q1, q2}] FCLoopBasisIncompleteQ
[q1, l] CFAD[{q1, m1}, {q1 - l + p, m}]
CSPD
[%, {q1}] FCLoopBasisIncompleteQ
[{q1, m1}, {q2, m2}]
SFAD
[%, {q1, q2}] FCLoopBasisIncompleteQ
[FCTopology[topo, {FAD[p1],
FCLoopBasisIncompleteQ[p2], FAD[p1 - q], FAD[p2 - q]}, {p1, p2}, {q}, {}, {}]] FAD
[{
FCLoopBasisIncompleteQ[topo1, {FAD[p1], FAD[p2], FAD[p1 - q], FAD[p2 - q]}, {p1, p2}, {q}, {}, {}],
FCTopology[topo2, {FAD[p1], FAD[p2], FAD[p1 - q], FAD[p2 - p1]}, {p1, p2}, {q}, {}, {}],
FCTopology[topo3, {FAD[p1], FAD[p1 - q]}, {p1}, {q}, {}, {}]
FCTopology}]