I am interested in software that understands gamma and sigma matrices, where the convolution can go over Lorentz indives, and over group indices, which understands what is covariant differentiation and the trace.

I tried to use maple, but work goes with difficulty. Although I write convolution over different indices, maple works with such expressions with difficulty. Maybe there is another program which easily understands what I want from one? (Preferably with tex syntax and a support forum. But I listen to any recommendations.)