The Mathematica package of the DiFfRG (Discretization framework for functional Renormalization Group flows). See also the Code generation documentation.

Utility functions

AutoExport — Turn on automatic export of the current notebook to a  ▪  m file .

AutoSaveRestore — Export expression to a file, or load it from an existing file.

ClearTraceCache — Remove the entire trace cache, or parts of it.

GetDirectory — Return the directory in which either the package file or notebook is located .

QuickSimplify — Simplify with a small time constraint.

Tracing functionality

ExtendedFormTrace — Runs PreTrace and then FormTrace.

TraceDiagrams — Trace a list of diagrams, saving them to temporary files.

SumDiagrams — Process and sum the result of TraceDiagrams to a result.

MakeSPFormRule — Project momenta to the symmetric point.

MakeSPFiniteTFormRule — Project momenta to the symmetric point in the spatial domain.

FormMomentumExpansion — Make a PostTraceRule which tries to simplify momenta.

FiniteTFormMomentumExpansion — Make a PostTraceRule to expand all momenta into spatial and temporal components.

MakeP0FormRule — Make a PostTraceRule to replace (imaginary)-time components of momenta.

GetFTSynonym — Get the internal FormTracer name of a symbol.

UseSU3GellMannTrace — Trace the FormTracer group called color using explicit Gell-Mann matrices.

PreTrace — Resolve charge conjugation and explicit color tracing.

SetDisentangle — Set whether TraceDiagrams uses DisentangleLorentzStructures.

Momentum handling

MatsubaraSum — Perform a (bosonic) Matsubara sum.

SeparateScalarProductsFiniteT — Separate all scalar products into spatial and temporal parts.

ExpandScalarProductsFiniteT — Separate all scalar products into spatial and temporal parts and write them in an angular representation.

ExpandScalarProducts — Write all scalar products an angular representation.

SimplifyAllMomenta — Replace all composite objects to single symbols. Necessary for code output.

ProjectToSymmetricPoint — Project an expression to the symmetric point.

ProjectToSymmetricPointFiniteT — Project an expression to the spatial symmetric point.