Cadabra (computer program)
Developer(s) | Kasper Peeters |
---|---|
Stable release | 2.5.8
/ 25 October 2024[1] |
Repository | |
Written in | C++, Python |
Operating system | Linux, macOS, Microsoft Windows |
Type | Computer algebra system |
License | GPL |
Website | cadabra |
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
[edit]References
[edit]- ^ "GitHub Releases". github.com/kpeeters. Retrieved 10 November 2024.
- ^ 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.
- ^ 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.
- ^ Bolotin, Dmitry; Poslavsky, Stanislav (2015). "Introduction to Redberry: A computer algebra system designed for tensor manipulation". arXiv:1302.1219 [cs.SC].
Further reading
[edit]- Sevastianov, L. A.; Kulyabov, D. S.; Kokotchikova, M. G. (2009). "An application of computer algebra system Cadabra to scientific problems of physics". Physics of Particles and Nuclei Letters. 6 (7): 530–534. Bibcode:2009PPNL....6..530S. doi:10.1134/S1547477109070073. S2CID 119707618.
- Abramov, S. A.; V. F. Edneral, A. A. Bogolyubskaya; Rostovtsev, V. A. (2011). "The research seminar on computer algebra in 2009–2010". Programming and Computer Software. 37 (2): 57–61. doi:10.1134/S0361768811020010. S2CID 1624674.
- Brewin, Leo (2010). "A brief introduction to Cadabra: A tool for tensor computations in General Relativity". Comput. Phys. Commun. 181 (3): 489–498. arXiv:0903.2085. Bibcode:2010CoPhC.181..489B. doi:10.1016/j.cpc.2009.10.020. S2CID 31179101.
- Kasper Peeters (2007), "Introducing Cadabra: A Symbolic computer algebra system for field theory problems", hep-th/0701238
- Kasper Peeters (2006), "A Field-theory motivated approach to symbolic computer algebra", Comput. Phys. Commun. 176 (2007) 550, [cs/0608005 [cs.SC]]