Introduction to Redberry: a computer algebra system designed for tensor manipulation

Abstract

In this paper we introduce Redberry --- an open source computer algebra system with native support of tensorial expressions. It provides basic computer algebra tools (algebraic manipulations, substitutions, basic simplifications etc.) which are aware of specific features of indexed expressions: contractions of indices, permutational symmetries, multiple index types etc. Redberry supports conventional \LaTeX-style input notation for tensorial expressions. The high energy physics package includes tools for Feynman diagrams calculation: Dirac and SU(N) algebra, Levi-Civita simplifications and tools for one-loop calculations in quantum field theory. In the paper we give detailed overview of Redberry features: from basic manipulations with tensors to real Feynman diagrams calculation, accompanied by many examples. Redberry is written in Java 7 and provides convenient Groovy-based user interface inside the high-level general purpose programming language environment. Redberry is available from http://redberry.cc

27 pages, 2 figures

References in corpus (2)

• xPerm: fast index canonicalization for tensor computer algebra
• A field-theory motivated approach to symbolic computer algebra

Cited by in corpus (7)

• FormTracer - A Mathematica Tracing Package Using FORM
• Next-to-leading order QCD corrections to paired $B_c$ production in $e^{+}{e}^{-}$ annihilation
• Faster Tensor Canonicalization
• Production of associated ${\chi }_b$ and open charm at the LHC
• Computations of superstring amplitudes in pure spinor formalism via Cadabra
• Analytical calculation of heavy quarkonia production processes in computer
• Equation for one-loop divergences in two dimensions and its application to higher spin fields