Cadabra (computer program)

Cadabra
Developer(s)Kasper Peeters
Stable release
2.5.8 / 25 October 2024; 55 days ago (2024-10-25)[1]
Repository
Written inC++, Python
Operating systemLinux, macOS, Microsoft Windows
TypeComputer algebra system
LicenseGPL
Websitecadabra.science

Cadabra is a computer algebra system designed specifically for the solution of problems encountered in classical field theory, quantum field theory and string theory.

The first version of Cadabra was developed around 2001 for computing higher-derivative string theory correction to supergravity.[2][3]

Released under the GNU General Public License, Cadabra is free software.

Cadabra has extensive functionality for tensor polynomial simplification including multi-term symmetries, fermions and anti-commuting variables, Clifford algebras and Fierz transformations, implicit coordinate dependence, multiple index types and many more. The input format is a subset of TeX. Both a command-line and a graphical interface are available.

A Java program inspired by Cadabra called Redberry was developed between 2013 and 2016. It achieved faster speeds for most index contractions with an approach based on the graph isomorphism problem rather than canonicalisation.[4]

See also

References

  1. ^ "GitHub Releases". github.com/kpeeters. Retrieved 10 November 2024.
  2. ^ Peeters, Kasper; Vanhove, Pierre; Westerberg, Anders (2001). "Supersymmetric higher-derivative actions in 10 and 11 dimensions, the associated superalgebras and their formulation in superspace". Classical and Quantum Gravity. 18 (5): 843–890. arXiv:hep-th/0010167. Bibcode:2001CQGra..18..843P. doi:10.1088/0264-9381/18/5/307. ISSN 0264-9381. S2CID 6933319.
  3. ^ Peeters, Kasper; Westerberg, Anders (2004-03-01). "The Ramond–Ramond sector of string theory beyond leading order". Classical and Quantum Gravity. 21 (6): 1643–1665. arXiv:hep-th/0307298. Bibcode:2004CQGra..21.1643P. doi:10.1088/0264-9381/21/6/022. ISSN 0264-9381. S2CID 14418092.
  4. ^ Bolotin, Dmitry; Poslavsky, Stanislav (2015). "Introduction to Redberry: A computer algebra system designed for tensor manipulation". arXiv:1302.1219 [cs.SC].

Further reading