ATENSOR

Authors: V. A. Ilyin and A. P. Kryukovy

Simplification of tensor expressions with taking into account multiterm linear identities, symmetry relations, and renaming dummy indices.

This problem is important for calculations in gravity theory, differential geometry, and other fields where indexed objects arise. The method used is the group algebra technique for permutation groups applied to construct a canonical subspace and the effective algorithm for the corresponding projection.