In maxima I enter the following:
if get('itensor,'version)=false then load(itensor);
if get('ctensor,'version)=false then load(ctensor);
dim:3;
remcomps(g);
imetric(g);
eqn:ishow(td = canform(rename(expand(liediff(v,g([],[i,j]))))));
Which outputs
i %1 j %1 i j %1 j i
(%t32) td = - g v + v g - g v
,%1 ,%1 ,%1
(%o32) td = - g([], [i, %1]) v([], [j], %1) + v([], [%1]) g([], [i, j],%1)
- g([], [%1, j]) v([],
[i], %1)
Then I enter:
ic_convert(eqn);
Improper indices in - g([], [i, %1]) v([], [j], %1)
+ v([], [%1]) g([], [i, j], %1) - g([], [%1, j]) v([],
[i], %1)
Aside from the definition of eqn in terms of a Lie derivative, this is
the example from itensor8.dem, which works fine.
What am I doing wrong?
Leo
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.