Question: covariant notation

I would like to ask, whether MAPLE can compute expressions written in covariant notation, like these ones (I have written it in LATEX): $u^{\mu \alpha}_{\nu} u_{\mu} u^{\nu} v_{\alpha}$, (where $\mu, \nu, \alpha = 0,...3$), i.e. whether we can compute the summation (like in these above examples), contraction, substitute ansatzes for $u$, compute derivatives of this above expressions, etc. I looked for any information in documentation, but I did not found anything. I checked, how MAPLE would compute: $u^{\nu}_{\mu} u_{\nu}$, (where $\nu = 0,...,3$), as $\sum^{3}_{\nu = 0} u^{\nu}_{\mu} u_{\nu}$, but MAPLE displayed the result: $u_{0} + u_{\mu} u_{1} + u^{2}_{\mu} u_{2} +u^{3}_{\mu} u_{3}$ .
Please Wait...