Group-theoretic Approach for Symbolic Tensor Manipulation: I. Free Indices

R. Portugal, B. F. Svaiter

We describe how Computational Group Theory provides tools for manipulating tensors in explicit index notation. In special, we present an algorithm that puts tensors with free indic…