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.

void	Run () override
	invoke kira program for reduction

void	Import () override
	import kira result

void	IBP ()

void	Solve (const ex &sector, const map< int, int > &a2n={})

void	SolveSparse (const ex &sector, 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

IBP reduction using Solver method.

Definition at line 214 of file IBP.h.

Member Function Documentation

void HepLib::Solver::Export ( )

overridevirtual

Export input data for KIRA.

Reimplemented from HepLib::IBP.

Definition at line 929 of file Solver.cpp.

void HepLib::Solver::IBP ( )

Definition at line 582 of file Solver.cpp.

void HepLib::Solver::Import ( )

overridevirtual

import kira result

Reimplemented from HepLib::IBP.

Definition at line 944 of file Solver.cpp.

void HepLib::Solver::Run ( )

overridevirtual

invoke kira program for reduction

Reimplemented from HepLib::IBP.

Definition at line 937 of file Solver.cpp.

Definition at line 683 of file Solver.cpp.

void HepLib::Solver::SolveSparse	(	const ex &	sector,
		const map< int, int > &	a2n = `{}`
	)

Definition at line 305 of file Solver.cpp.

The documentation for this class was generated from the following files: