FCLoopSolutionList
FCLoopSolutionList[loopList, reversedRepIndexList, canIndexList, uniqueCanIndexList}, solsList]
is an auxiliary internal function that uses the output of FCLoopCanonicalize and the list of simplified integrals solsList to create the substitution list of type "Integral" -> "simplified Integral"
.
See also
Overview, FCLoopCanonicalize.
Examples
li = FCLoopCanonicalize[myHead[FVD[q, \[Mu]] FVD[q, \[Nu]] FAD[q, {q + p, m}]] + myHead[FVD[q, \[Rho]] FVD[q, \[Sigma]] FAD[q, {q + p, m}]], q, myHead]
{{myHead(q2.((p+q)2−m2)qμqν),myHead(q2.((p+q)2−m2)qρqσ)},{{FCGV(cli191)→μ,FCGV(cli192)→ν},{FCGV(cli191)→ρ,FCGV(cli192)→σ}},{myHead(q2.((p+q)2−m2)qFCGV(cli191)qFCGV(cli192)),myHead(q2.((p+q)2−m2)qFCGV(cli191)qFCGV(cli192))},{myHead(q2.((p+q)2−m2)qFCGV(cli191)qFCGV(cli192))}}
FCLoopSolutionList[li, prefactor (li[[4]] /. myHead -> Identity /. q -> p), Dispatch -> False]
{myHead(q2.((p+q)2−m2)qμqν)→p2.(4p2−m2)prefactorpμpν,myHead(q2.((p+q)2−m2)qρqσ)→p2.(4p2−m2)prefactorpρpσ}