Riegeom

The Riegeom package: abstract tensor calculation This paper describes a new package for abstract tensor calculation. Riegeom can efficiently simplify generic tensor expressions written in the indicial format. It addresses the problem of the cyclic symmetric and the dimension dependent relations of Riemann tensor polynomials. There are tools to manipulate tensors such as substitution and symmetrization functions. The main tensors of the Riemannian geometry have been implemented. The underlying algorithms are based on a precise mathematical formulation of canonical form of tensor expressions described elsewhere. Riegeom is implemented over the Maple system. (Source: http://cpc.cs.qub.ac.uk/summaries/)