I need yours hepl.  I work with the physics paсkage and I set:

with(Physics)

Setup(mathematicalnotation = true)

 Coordinates(X)

Setup(Dgammarepresentation = standard)

Setup(spaceindices = uppercaselatin)

Define(M, aa, mu, mu5, Pi, eta)

M_[mu, mu5] := Dgamma[mu]*d_[mu]+M+Psigma[A]*aa[A]-mu*Dgamma[0]-mu5*Dgamma[0]*Dgamma[5]+i*Dgamma[5]*Psigma[B]*Pi[B]+i*Dgamma[5]*eta

And next:

Dagger(M_[mu, mu5])

How is Maple explained that  

Dagger(d_[mu])=d_[mu]

conjugate(M)=M

conjugate(aa[A])=aa[A]

conjugate(i)=i

and so on?

Dear Friends, I work with physics paсkage. I have a quation. I don't understend how one works with metrics. For example, let:

Dear Friends, I work with physics paсkage. And I don't know how to simplify the next expression: Dgamma[mu]*a[mu]*Dgamma[nu]*a[nu]

(I want to obtain  the well-known result a² )

The command "Simplify" doesn't work in this case.

Dear Friends, I work with physics paсkage. One allows to calculate in four dimensional space-time. But in addition, I need to calculate in three dimensional space. For example, I need t0 use the next scalar products: x_Ay^A  and z_aw^a  where A=0,1,2,3 and a=1,2,3. How may I do it?

Could you tell about manual (book) at maple which tells how to make calculations in quantum field theory (Grassmann algebra, a Lie algebra, producing functional, fermionic determinants) and high-temperature quantum field theory (partition functions, thermodynamic potentials)?