IBP reduction using Solver method. More...
#include <IBP.h>
Inheritance diagram for HepLib::Solver:
Collaboration diagram for HepLib::Solver:
Public Member Functions | |
| void | Export () override |
| Export input data for KIRA. More... | |
| void | Run () override |
| invoke kira program for reduction More... | |
| void | Import () override |
| import kira result More... | |
| void | IBP () |
| void | Solve (const ex §or, const map< int, int > &a2n={}) |
| void | SolveSparse (const ex §or, const map< int, int > &a2n={}) |
 Public Member Functions inherited from HepLib::IBP | |
| virtual | ~IBP () |
| pair< exmap, lst > | FindRules (bool mi=true) |
| bool | IsZero (ex sector) |
| void | Reduce () |
| void | garExport (string garfn) |
| void | garImport (string garfn) |
| ex | TO () |
| void | FROM (ex s) |
| exmap | SP2Pn () |
| exmap | Dinv (const lst &ns) |
| ex | D (const ex &x, const lst &ns) |
| void | RM (bool keep_start_config=false) |
| void | rm (const string &pat) |
Additional Inherited Members | |
| Static Public Member Functions inherited from HepLib::IBP | |
| static void | ReShare (const vector< IBP * > &fs) |
| Public Attributes inherited from HepLib::IBP | |
| lst | Internal |
| lst | External |
| lst | Replacement |
| lst | Propagator |
| lst | Integral |
| lst | Cut |
| lst | DSP |
| lst | ISP |
| lst | SECTOR |
| map< int, ex > | Shift |
| bool | reCut = false |
| string | WorkingDir |
| int | ProblemNumber = 0 |
| lst | PIntegral |
| lst | MIntegral |
| lst | Rules |
| bool | IsAlwaysZero = false |
Detailed Description
Member Function Documentation
◆ Export()
|
overridevirtual |
Export input data for KIRA.
Reimplemented from HepLib::IBP.
Definition at line 921 of file Solver.cpp.
◆ IBP()
| void HepLib::Solver::IBP | ( | ) |
Definition at line 574 of file Solver.cpp.
◆ Import()
|
overridevirtual |
◆ Run()
|
overridevirtual |
invoke kira program for reduction
Reimplemented from HepLib::IBP.
Definition at line 929 of file Solver.cpp.
◆ Solve()
| void HepLib::Solver::Solve | ( | const ex & | sector, |
| const map< int, int > & | a2n = {} |
||
| ) |
Definition at line 675 of file Solver.cpp.
◆ SolveSparse()
| void HepLib::Solver::SolveSparse | ( | const ex & | sector, |
| const map< int, int > & | a2n = {} |
||
| ) |
Definition at line 303 of file Solver.cpp.
The documentation for this class was generated from the following files:
- /home/runner/work/HepLib/HepLib/IBP/IBP.h
- /home/runner/work/HepLib/HepLib/IBP/Solver.cpp
