@ecterrab 

perfectly well

@ecterrab 

The string " Setup(spaceindices = lowercaselatin) " is not needed here. In any case, Maple has to understand this.

Let's I explain the problem by very simple example.

with(Physics)

Setup(mathematicalnotation = true)

Simplify(LeviCivita[4, eta, sigma, rho]*LeviCivita[4, eta, sigma, rho])

Do you know what result maple gives? -24! It is the wrong answer. The right answer is -6! It is well known (see for example third formula from the bottom of wiki page https://en.wikipedia.org/wiki/Levi-Civita_symbol#p-navigation-label)

My version: Maple 2016

@Preben Alsholm 

I found another solution: autosave.bak  change  into autosave.mw

@tomleslie

Thanks.  It appears that (for physics package)

Trace(-LeviCivita[mu, nu, rho, sigma]*Ucn(X).(((1/6)*e*A[nu](X)+M5*KroneckerDelta[nu, 0])*~Matrix(2, 2, [[1, 0], [0, 1]])).Ucn(X).d_[rho](Ucn(X)).Ucn(X).d_[sigma](Ucn(X)));

is equivalent to

Trace(-LeviCivita[mu, nu, rho, sigma]*Ucn(X)*(((1/6)*e*A[nu](X)+M5*KroneckerDelta[nu, 0])*Matrix(2, 2, [[1, 0], [0, 1]]))*Ucn(X)*d_[rho](Ucn(X))*Ucn(X)*d_[sigma](Ucn(X)));

@Christopher2222 

It is helpful, but it doesn't enough

@ecterrab 

And may I ask you another question? I am trying to make a scalar product of kind: Psigma[A]*p[A] but maple doesn't understand it, because there are four sigma matrix.

@ecterrab 

Thank you very much! The only one thing that I do not understand - how do you refer to the formula? For example nothing happens when I write "Simplify((7))",(i.e. how may I set off "(7)" bold color in order to Maple understands that it is reference tothe formula?).