CM1 - Numerical Relativity, Black Hole Collisions, and Algebraic Computation |
Speaker_ |
Martin-garcia, Jose M. |
Talk _ |
xTensor: a fast abstract tensor manipulator |
Abstract _ |
The package xTensor is introduced, now the fastest and most general manipulator of tensor expressions for Mathematica. Manifolds can be defined containing tensor fields with arbitrary symmetry, connections of any type, metrics and other objects. Based on the Penrose abstract-index notation, xTensor has a single canonicalizer which fully simplifies all expressions, using highly efficient techniques of computational group theory. General tensor substitution rules, aware of symmetries, metrics, dummy indices and other details, can be defined. Specially designed for General Relativity, there are algorithms for ADM-type decomposition, perturbation theory, warped metrics and other topics. xTensor is GPL-free software: http://metric.iem.csic.es/Martin-Garcia/xAct/. |