ATENSOR — REDUCE program for tensor simplification

Abstract The paper presents a REDUCE program for the simplification of tensor expressions that are considered as formal indexed objects. The proposed algorithm is based on the consideration of tensor expressions as vectors in some linear space. This linear space is formed by all the elements of the group algebra of the corresponding tensor expression. Such approach permits us to simplify the tensor expressions possessing symmetry properties, summation (dummy) indices and multiterm identities by unify ... Title of program: ATENSOR Catalogue Id: ADDQ_v1_0 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. Versions of this program held in the CPC repository in Mendeley Data ADDQ_v1_0; ATENSOR; 10.1016/0010-4655(96)00060-4 This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2019)