Hi,
i want to lower all indices like
A_{m p} B^{p n} -> A_{m p} B_{p n}
is there a way to make all indices down?
thanks
Declare your index positions free and use lower_free_indices:
free
lower_free_indices
{m,n,p}::Indices(position=free); ex:=A_{m p} B^{p n}; lower_free_indices(ex);
The word 'free' here refers to the index type position=free, not to the fact that they are un-contracted.
position=free