FIREImportResults
FIREImportResults[topoName, path]
imports the content of
a FIRE .tables file and converts the results to replacement rules for
GLI
s with the id topoName
.
Notice that topoName
can be also a list of replacement
rules that link FIRE ids to FCTopology
ids. For the sake of
convenience one can also use full FCTopology
objects
instead of their ids as in FIREImportResults[topo, path]
or
FIREImportResults[{topo1, topo2, ...}, path]
.
If path
represents a full path to a file, then this file
is loaded. If it is just a path to a directory, then
path/topoName/topoName
is assumed to be the full path.
See also
Overview, FIRECreateConfigFile, FIRECreateStartFile, FIRERunReduction
Examples
ibpTables = FileNameJoin[{$FeynHelpersDirectory, "Documentation", "Examples", "prop3L1topo010000100.tables"}];
ibpRules = FIREImportResults["prop3L1topo010000100", ibpTables];
112
{Gprop3L1topo010000100(1,1,−2,1,1,−2,1,1,0)→16d2−32d+16(d2−8d+16)m18Gprop3L1topo010000100(0,1,1,1,1,1,1,0,0)+216d5−1296d4+3000d3−3360d2+1824d−384(−35d5+456d4−2092d3+4048d2−3136d+768)m16Gprop3L1topo010000100(0,0,1,1,1,1,1,0,0)+216d6−1620d5+4944d4−7860d3+6864d2−3120d+576(42d6−484d5+2333d4−5568d3+6572d2−3456d+576)m14Gprop3L1topo010000100(0,0,1,1,1,1,0,0,0),Gprop3L1topo010000100(1,1,−1,1,1,−1,1,1,−1)→32d2−64d+32(6d−3d2)m16Gprop3L1topo010000100(0,1,1,1,1,1,1,0,0)+144d4−768d3+1488d2−1248d+384(−61d4+380d3−860d2+864d−320)m14Gprop3L1topo010000100(0,0,1,1,1,1,1,0,0)+72d4−384d3+744d2−624d+192(42d4−253d3+550d2−520d+176)m12Gprop3L1topo010000100(0,0,1,1,1,1,0,0,0)}
ibpRulesTest = FIREImportResults[{3110 -> "prop3L1topo010000100"}, ibpTables];
ibpRules === ibpRulesTest
True
{Gprop3L1topo010000100(1,1,−1,1,1,−2,1,1,0)→8d−8(4−d)m16Gprop3L1topo010000100(0,1,1,1,1,1,1,0,0)+12d−12(8−5d)m14Gprop3L1topo010000100(0,0,1,1,1,1,1,0,0)+6d−6(3d−8)m12Gprop3L1topo010000100(0,0,1,1,1,1,0,0,0),Gprop3L1topo010000100(1,1,−2,1,1,−1,1,1,0)→8d−8(4−d)m16Gprop3L1topo010000100(0,1,1,1,1,1,1,0,0)+12d−12(8−5d)m14Gprop3L1topo010000100(0,0,1,1,1,1,1,0,0)+6d−6(3d−8)m12Gprop3L1topo010000100(0,0,1,1,1,1,0,0,0)}
topo = FCTopology[prop3L1topo010000100, {SFAD[{{I*p1, 0}, {0, -1}, 1}], SFAD[{{I*p2, 0}, {-m1^2, -1}, 1}], SFAD[{{I*p3, 0}, {0, -1}, 1}], SFAD[{{I*(p1 - p2), 0}, {0, -1}, 1}], SFAD[{{I*(p2 - p3), 0}, {0, -1}, 1}], SFAD[{{I*(p1 + q1), 0}, {0, -1}, 1}], SFAD[{{I*(p2 + q1), 0}, {-m1^2, -1}, 1}], SFAD[{{I*(p3 + q1), 0}, {0, -1}, 1}], SFAD[{{0, -p1 . p3}, {0, -1}, 1}]}, {p1, p2, p3}, {q1}, {SPD[q1, q1] -> m1^2}, {}];