FeynHelpers manual (development version)

KiraImportResults

KiraImportResults[topoName, path] imports the content of a Kira reduction table and converts the results to replacement rules for GLIs 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 KiraImportResults[topo, path] or KiraImportResults[{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, KiraCreateConfigFiles, KiraCreateJobFile, KiraRunReduction

Examples

ibpTables = FileNameJoin[{$FeynHelpersDirectory, "Documentation", "Examples", "kira_asyR1prop2Ltopo01310X11111N1.m"}];
ibpRules = KiraImportResults["prop3L1topo010000100", ibpTables];
ibpRules // Length

1072710727

ibpRules[[-5 ;;]]

{GasyR1prop2Ltopo01310X11111N1(2,1,1,1,1)(D38D2+20D16)GasyR1prop2Ltopo01310X11111N1(0,1,0,1,0)(8D3112D2+504D720)  mb6  mg2+(D3)GasyR1prop2Ltopo01310X11111N1(0,1,1,1,1)(4D24)  mb4,GasyR1prop2Ltopo01310X11111N1(1,2,1,1,1)(D24D+4)GasyR1prop2Ltopo01310X11111N1(0,1,0,1,0)(16D48)  mb4  mg4+(D3)GasyR1prop2Ltopo01310X11111N1(0,1,1,1,1)4  mb2  mg2,GasyR1prop2Ltopo01310X11111N1(1,1,2,1,1)(4D2+24D35)GasyR1prop2Ltopo01310X11111N1(0,1,0,1,1)(16D64)  mb4  mg2+(2D)GasyR1prop2Ltopo01310X11111N1(0,1,1,1,0)4  mb4  mg2,GasyR1prop2Ltopo01310X11111N1(1,1,1,2,1)(D38D2+20D16)GasyR1prop2Ltopo01310X11111N1(0,1,0,1,0)(8D264D+120)  mb6  mg2+(D3)GasyR1prop2Ltopo01310X11111N1(0,1,1,1,1)4  mb4,GasyR1prop2Ltopo01310X11111N1(1,1,1,1,2)(4D2+24D35)GasyR1prop2Ltopo01310X11111N1(0,1,0,1,1)(16D64)  mb4  mg2+(D2+6D8)GasyR1prop2Ltopo01310X11111N1(0,1,1,1,0)(2D10)  mb4  mg2}\left\{G^{\text{asyR1prop2Ltopo01310X11111N1}}(2,1,1,1,1)\to \frac{\left(D^3-8 D^2+20 D-16\right) G^{\text{asyR1prop2Ltopo01310X11111N1}}(0,1,0,1,0)}{\left(8 D^3-112 D^2+504 D-720\right) \;\text{mb}^6 \;\text{mg}^2}+\frac{(D-3) G^{\text{asyR1prop2Ltopo01310X11111N1}}(0,1,1,1,1)}{(4 D-24) \;\text{mb}^4},G^{\text{asyR1prop2Ltopo01310X11111N1}}(1,2,1,1,1)\to \frac{\left(D^2-4 D+4\right) G^{\text{asyR1prop2Ltopo01310X11111N1}}(0,1,0,1,0)}{(16 D-48) \;\text{mb}^4 \;\text{mg}^4}+\frac{(D-3) G^{\text{asyR1prop2Ltopo01310X11111N1}}(0,1,1,1,1)}{4 \;\text{mb}^2 \;\text{mg}^2},G^{\text{asyR1prop2Ltopo01310X11111N1}}(1,1,2,1,1)\to \frac{\left(-4 D^2+24 D-35\right) G^{\text{asyR1prop2Ltopo01310X11111N1}}(0,1,0,1,1)}{(16 D-64) \;\text{mb}^4 \;\text{mg}^2}+\frac{(2-D) G^{\text{asyR1prop2Ltopo01310X11111N1}}(0,1,1,1,0)}{4 \;\text{mb}^4 \;\text{mg}^2},G^{\text{asyR1prop2Ltopo01310X11111N1}}(1,1,1,2,1)\to \frac{\left(D^3-8 D^2+20 D-16\right) G^{\text{asyR1prop2Ltopo01310X11111N1}}(0,1,0,1,0)}{\left(8 D^2-64 D+120\right) \;\text{mb}^6 \;\text{mg}^2}+\frac{(D-3) G^{\text{asyR1prop2Ltopo01310X11111N1}}(0,1,1,1,1)}{4 \;\text{mb}^4},G^{\text{asyR1prop2Ltopo01310X11111N1}}(1,1,1,1,2)\to \frac{\left(-4 D^2+24 D-35\right) G^{\text{asyR1prop2Ltopo01310X11111N1}}(0,1,0,1,1)}{(16 D-64) \;\text{mb}^4 \;\text{mg}^2}+\frac{\left(-D^2+6 D-8\right) G^{\text{asyR1prop2Ltopo01310X11111N1}}(0,1,1,1,0)}{(2 D-10) \;\text{mb}^4 \;\text{mg}^2}\right\}