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.

I have an extremely long result in polynomial form following some matrix operations. However, given the symmetry of the problem, I can safely say that the solution will reduce much further than is being displayed here, especially if it can be expressed in summation notation. When I look at simple cases I can see many obvious simplifications that are not being done, primarily with z variables being left in denominators instead of being divided out.

Is there any way I can have mathematica simplify all the way? Can it perform the summation contraction?

a = {{a1}, {a2}, {a3}}/za;
b = {{b1}, {b2}, {b3}}/zb;
c = {{c1}, {c2}, {c3}}/zc;
d = {{d1}, {d2}, {d3}}/zd;
k = {{k1}, {k2}, {k3}};
s = {{s11, s12, s13}, {s21, s22, s23}, {s31, s32, s33}};
G = 
  a.Transpose[a] + b.Transpose[b] + c.Transpose[c] + d.Transpose[d];
 Simplify[Transpose[k].s.Inverse[G].Transpose[s].k]] (*Answer is not a matrix but calling like this gives a simpler looking output.*)
share|improve this question
If you see the possibility of simplification on the symmetry ground, may be, a good idea is to introduce this symmetry explicitly. Why not, say, average Gover the group? –  Alexei Boulbitch Jun 12 '14 at 7:48

1 Answer 1

It's not exactly an answer (I don't have enough reputation to post a comment). but if it is only the $z$ variables that bothers you, why won't you absorb them into the a,b,c variables? (I tried it and and still won't simplify).

btw: you can write $\{a1,a2,a3\}$ instead of $\{\{a1\},\{a2\},\{a3\}\}$ (same for b,c,d).

share|improve this answer
Writing them that way turns them into row vectors. These are column vectors. –  Elliot Jun 12 '14 at 0:43
I think that M praises itself in that you do not need to distinguish between row and column vectors. so for example the inner product of $\{1,2,3\}.\{4,5,6\}$ is the same as that of $\{\{1\},\{2\},\{3\}\}.\{4,5,6\}$ except for an addition of {}. see reference.wolfram.com/mathematica/tutorial/… –  user29918 Jun 12 '14 at 9:20

Your Answer


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.