ATENSOR - REDUCE program for tensor simplification. Nature of problem: Simplification of tensor expressions taking into account multiterm linear identities, symmetry relations and renaming dummy indices. This problem is important for the calculations in the gravity theory, differential geometry and other fields where indexed objects arise. Solution method: The group algebra technique for permutation group is applied to construct a canonical subspace and the effective algorithm for the corresponding projection. (Source: