On Monday, October 21, 2013 9:50:30 PM UTC+2, Matthew wrote: > > How do other systems like xAct solve this problem? >
I don't know, but xAct is built on top of Wolfram Mathematica, which has a very powerful pattern matching system. I had a quick glance, and I guess that xAct keeps tensor indices inside the M-expression tree (if I understood correctly). This means that: A(d1, d2)*B(d3) has a tree representation as written [ Lisp: (TensExpr (A d1 d2) (B d3)) ], unlike the tensor module in SymPy :( -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.
