1. A. Woszczyna, W. Czaja, K. Głód, Z. A. Golda, R. A. Kycia, A. Odrzywołek, P. Plaszczyk, L. M. Sokołowski, S. J. Szybka
ccgrg: The symbolic tensor analysis package with tools for general relativity
Wolfram Library Archive, vol. 8848 (2014).
[abstract] [journal]

Abstract:
Riemann and Weyl curvature, covariant derivative, Lie derivative, the first and the second fundamental form on hyper-surfaces, as well as basic notions of relativistic hydrodynamics (expansion, vorticity, shear) are predefined functions of the package. New tensors are easy to define. Instructions, basic examples, and some more advanced examples are attached to the package. Characteristic feature of the ccgrg package is the specific coupling between the functional programming and the Parker-Christensen index convention. This causes that no particular tools to rising/lowering tensor indices neither to the tensor contractions are needed. Tensor formulas are written in the form close to that of classical textbooks in GRG, with the only difference that the summation symbol appears explicitly. Tensors are functions, not matrixes, and their components are evaluated lazily. This means that only these components which are indispensable to realize the final task are computed. The memoization technique prevents repetitive evaluation of the same quantities. This saves both, time and memory.