ERGE-FORM is a Mathematica package for the derivation of functional equations which uses FORM as computational backend.

Its functionality includes the derivation of

• Functional Renormalization Group equations
• Dyson-Schwinger equations
• general functional equations (referred to as magic formula in the code c.f. e.g. Annals Phys.322:2831-2915,2007)

both in algebraic and symbolic form for arbitrary field types and mixed propagators. The diagram identification is so far only implemented for renormalization group equations. The program offers options for DoFun-compatible output but uses its own output syntax. A minimal help is available by invoking ?command inside a Mathematica notebook and three small example files for the main use cases are distributed with the code.

This program was created during my time at LBNL funded by the DFG under grant no. Str1462/1-1. I left physics and can no longer maintain this research code, which is therefore offered with absolutely no support. Nevertheless I decided to make it freely available to support free software in Science. ERGE-FORM is released under the GNU General Public License v3.0.

ERGE-FORM is installed by copying the contents of the repository into a folder ERGE in Mathematica's application folder (e.g. .Mathematica/Applications under Linux). The package is loaded via <<ERGE. Three minimal example notebooks with basic usage information are available in the Examples folder.

• FORM - project for symbolic manipulation of very big expressions
• DoFun - Derivation of Functional Equations using Mathematica
• FormTracer - A Mathematica Tracing Package using FORM (ERGE-FORM makes use of some of its auxillary functions to detect the Form executable etc.)