Question: SumOverRepeatedIndices not contracting inert differentials

Why do maple not contract over inert differentials ?
The last command just return the defining equation and refuses to contract.

See example below

restart;
with(Physics);
g_[[5, 29, 1]];
eq1 := g_[~mu, ~nu]*Diff(w(r, theta), mu)*Diff(w(r, theta), nu);
SumOverRepeatedIndices(eq1);

-----------------------------------------------------------------------------------
However Check return empty coordinates, which is completely contradictory.

Check(eq1, all);
      The repeated indices per term are: ((...),(...),...)

        , the free indices are: (...)

                    [{}], {~mu, ~nu}

Please Wait...