A brief introduction to Cadabra: a tool for tensor computations in general relativity. (English) Zbl 1206.83007
Summary: Cadabra is a powerful computer program for the manipulation of tensor equations. It is designed for use in high energy physics but its rich structure and ease of use lends itself well to the routine computations required in general relativity. Here, we present a series of simple examples showing how Cadabra may be used, including verifying that the Levi-Civita connection is a metric connection and a derivation of the Gauss equation between induced and ambient curvatures.
MSC:
| 83-08 | Computational methods for problems pertaining to relativity and gravitational theory |
| 53Z05 | Applications of differential geometry to physics |
| 83E05 | Geometrodynamics and the holographic principle |
References:
| [1] | Musgrave, P.; Pollney, D.; Lake, K., GRTensorII home page |
| [2] | Musgrave, P.; Pollney, D.; Lake, K., GRTensorII: A package for general relativity, (Braham, S. P.; Gegenberg, J. D.; McKellar, R. J., Proc. 6th Canadian Conference in General Relativity and Relativistic Astrophysics (1996), vol. 15 (1997), Fields Institute for Research in Mathematical Sciences), 307-311 |
| [3] | Peeters, K., The Cadabra home page |
| [4] | Peeters, K., Cadabra: A field-theory motivated symbolic computer algebra system, Computer Physics Communications, 176, 8, 550-558 (2007) · Zbl 1196.68333 |
| [5] | Christensen, S. M.; Parker, L., MathTensor home page |
| [6] | Manssur, L. R.U.; Portugal, R., The canon package: A fast kernel for tensor manipulators, Computer Physics Communications, 157, 2, 173-180 (2004) · Zbl 1196.68331 |
| [7] | Portugal, R.; Sautú, S. L., Applications of Maple to general relativity, Computer Physics Communications, 105, 2-3, 233-253 (1997) · Zbl 1017.83500 |
| [8] | Martín-García, J., xAct: Efficient tensor computer algebra for Mathematica |
| [9] | Martín-García, J., xPerm: Fast index canonicalization for tensor computer algebra, Computer Physics Communications, 179, 597-603 (2008) · Zbl 1197.15002 |
| [10] | MacPorts, The MacPorts Project |
| [11] | Chavel, I., Riemannian Geometry. A Modern Introduction (2006), Cambridge University Press: Cambridge University Press Cambridge · Zbl 1099.53001 |
| [12] | Brewin, L., Riemann normal coordinate expansions using Cadabra, Class. Quantum Grav., 26, 175017 (2009) · Zbl 1176.83003 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
