Incomplete simplification
- To: mathgroup at smc.vnet.net
- Subject: [mg49285] Incomplete simplification
- From: carlos at colorado.edu (Carlos Felippa)
- Date: Sun, 11 Jul 2004 02:16:18 -0400 (EDT)
- Sender: owner-wri-mathgroup at wolfram.com
Using Mathematica 4.2 on a mac I defined a 6 x 3 symbolic
matrix and take its Moore-Penrose inverse:
S={{0,-x31,x21},{x31,0,-x11},{-x21,x11,0},{0,-x32,x22},
{x32,0,-x12},{-x22,x12,0}};
G=PseudoInverse[S];
Mathematica thinks the entries are complex, so it returns a
result with Conjugate[x11], etc. To get rid of them I tried
G=Simplify[G,x11\[Element]Reals&&x21\[Element]Reals <...> ];
But the Conjugate[...] are still there. Fortunately G=ComplexExpand[G]
works. But why is Simplify unable to use the reality assumptions?
- Follow-Ups:
- Re: Incomplete simplification
- From: Andrzej Kozlowski <akoz@mimuw.edu.pl>
- Re: Incomplete simplification