Take the 2-minute tour ×
Mathematica Stack Exchange is a question and answer site for users of Mathematica. It's 100% free, no registration required.

How can I use the new symbolic matrix/tensor capabilities to verify matrix identities, such as

enter image description here (1)

or

enter image description here (2)

Even better, how can I ask Mathematica to derive expressions for X, Y, Z, and U like the ones shown on the RHS of (2) (many equivalent forms exist) (and as a bonus, display them similarly).

share|improve this question
    
did you try 'Solve'? –  cartonn Dec 9 '12 at 18:34
    
For the second part of the question (not specific to version 9), see Matrix multiplication in Block Form symbolic calculation by Mathematica –  Jens Dec 9 '12 at 19:51
    
A closely related question is also: Can Mathematica do symbolic linear algebra?. Your question is more specific, but the answers there provide some important information, I think. –  Jens Dec 9 '12 at 19:58
    
Yes, thanks, and prior to posting this question I had seen the above posts. They all predate V9.0 though. I was hoping for a few magic one-liners in V9.0 that would do the same... –  Eric Dec 9 '12 at 20:07
    
OK - so it looks like we'll have to keep hoping for version 10 to get this as a built-in capability, which would be really cool. –  Jens Dec 9 '12 at 23:39
add comment

1 Answer 1

up vote 5 down vote accepted

Formulas involving inverses are special to matrices--neither vectors nor higher-rank tensors have a notion of inverse. As a result, the current framework has only limited support for identities involving inverses. It deals best with identities involving tensor products, symmetries, and contractions, which are fundamental to all tensor operations. We hope to add better support for matrices inversion in a future release.

share|improve this answer
    
How about block matrices? Can I define A, B, C, and D to be symbolic n x n, n x m, m x n, and m x m matrices and then have mathematica recognize something like E = SymbolicArrayFlatten[{{A,B},{C,D}}] as an (n+m) x (n+m) matrix? –  Eric Dec 9 '12 at 19:29
    
Block matrices are also not supported at this time. As you point out, we will need to add new symbols to support these, because if A,B, C and D are matrices, {{A,B},{C,D}} is a rank-3 array. –  Itai Seggev Dec 13 '12 at 22:49
    
I definately would appreciate that support. Big interest :) –  Rojo Oct 17 '13 at 18:39
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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