Sistema de álgebra computacional
Cadabra es un sistema de álgebra computacional diseñado específicamente para la solución de problemas encontrados en la teoría clásica de campos , la teoría cuántica de campos y la teoría de cuerdas .
La primera versión de Cadabra se desarrolló alrededor de 2001 para calcular la corrección de la teoría de cuerdas de derivadas superiores a la supergravedad . [2] [3]
Publicado bajo la Licencia Pública General GNU , Cadabra es software libre .
Cadabra tiene una amplia funcionalidad para la simplificación de polinomios tensoriales , incluidas simetrías de múltiples términos, fermiones y variables anticonmutativas , álgebras de Clifford y transformaciones de Fierz , dependencia de coordenadas implícita, múltiples tipos de índices y mucho más. El formato de entrada es un subconjunto de TeX . Están disponibles tanto una línea de comandos como una interfaz gráfica .
Entre 2013 y 2016 se desarrolló un programa Java inspirado en Cadabra llamado Redberry. Logró velocidades más rápidas para la mayoría de las contracciones de índice con un enfoque basado en el problema de isomorfismo de gráficos en lugar de canonización . [4]
Véase también
Referencias
- ^ "Lanzamientos de GitHub". github.com/kpeeters . Consultado el 28 de noviembre de 2023 .
- ^ Peeters, Kasper; Vanhove, Pierre; Westerberg, Anders (2001). "Acciones supersimétricas de derivadas superiores en 10 y 11 dimensiones, las superálgebras asociadas y su formulación en el superespacio". Gravedad clásica y cuántica . 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 (1 de marzo de 2004). "El sector Ramond-Ramond de la teoría de cuerdas más allá del orden principal". Gravedad clásica y cuántica . 21 (6): 1643–1665. arXiv : hep-th/0307298 . Código Bibliográfico :2004CQGra..21.1643P. doi :10.1088/0264-9381/21/6/022. ISSN 0264-9381. S2CID 14418092.
- ^ Bolotin, Dmitry; Poslavsky, Stanislav (2015). "Introducción a Redberry: un sistema de álgebra computacional diseñado para la manipulación de tensores". arXiv : 1302.1219 [cs.SC].
Lectura adicional
- Sevastianov, LA; Kulyabov, DS; Kokotchikova, MG (2009). "Una aplicación del sistema de álgebra computacional Cadabra a problemas científicos de física". Physics of Particles and Nuclei Letters . 6 (7): 530–534. Bibcode :2009PPNL....6..530S. doi :10.1134/S1547477109070073. S2CID 119707618.
- Abramov, SA; VF Edneral, AA Bogolyubskaya; Rostovtsev, VA (2011). "El seminario de investigación sobre álgebra computacional en 2009-2010". Programación y software informático . 37 (2): 57–61. doi :10.1134/S0361768811020010. S2CID 1624674.
- Brewin, Leo (2010). "Una breve introducción a Cadabra: una herramienta para cálculos tensoriales en relatividad general". Comput. Phys. Commun . 181 (3): 489–498. arXiv : 0903.2085 . Código Bibliográfico : 2010CoPhC.181..489B. doi : 10.1016/j.cpc.2009.10.020. S2CID 31179101.
- Kasper Peeters (2007), "Presentación de Cadabra: un sistema de álgebra computacional simbólica para problemas de teoría de campos", hep-th/0701238
- Kasper Peeters (2006), "Un enfoque basado en la teoría de campos para el álgebra computacional simbólica", Comput. Phys. Commun. 176 (2007) 550, [cs/0608005 [cs.SC]]
Enlaces externos