4
$\begingroup$

How to define a Einstein summation convention in Mathematica?

Say, how to let Mathematica know T[i,i] equals T[1,1]+T[2,2]+T[3,3]? How to define the function T[i,j]?

I know there are several Mathematica-abased programs that can do this, but still I want to know how to define my own.

$\endgroup$

migrated from stackoverflow.com Nov 15 '12 at 14:19

This question came from our site for professional and enthusiast programmers.

6
$\begingroup$

For a single Function T this is pretty easy:

T[i_, i_] /; ! NumberQ[i] := Sum[T[j, j], {j, 3}]

A quick test gives:

In[7]:= T[i, i]

Out[7]= T[1, 1] + T[2, 2] + T[3, 3]

If you want to always sum over two equal indices for several functions, this might need some extra work though.

$\endgroup$
  • $\begingroup$ Thanks, einbandi. The answer is just what I want. $\endgroup$ – pengfei_guo Nov 15 '12 at 6:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.