the implicit meaning is A_{m m} as well. This is used for instance in explicit_indices,
{m,n,p}::Indices(vector);
Tr(#)::Trace(indices=vector);
A::ImplicitIndex(A_{m n});
ex:= Tr( A );
explicit_indices(_);
leads to $A_{m m}$ as well.
These are not necessarily inconsistent (declaration of a property versus use of an operator declared to have that property), but definitely confusing. Needs docs.
When declaring properties, the notation for a trace is
and this means $T = A_{m m}$. However, when you do
and then write
the implicit meaning is
A_{m m}
as well. This is used for instance inexplicit_indices
,leads to $A_{m m}$ as well.
These are not necessarily inconsistent (declaration of a property versus use of an operator declared to have that property), but definitely confusing. Needs docs.