Re: Solutions that are not solutions

*To*: mathgroup at smc.vnet.net*Subject*: [mg32087] Re: Solutions that are not solutions*From*: "M.Weber" <matweber at indiana.edu>*Date*: Sat, 22 Dec 2001 04:23:07 -0500 (EST)*Organization*: Indiana University, Bloomington*References*: <9vuth9$of2$1@smc.vnet.net>*Sender*: owner-wri-mathgroup at wolfram.com

PSi wrote: > I'm trying to solve a system as follows: > X={{0,y,z},{y,x,t},{u,v,w}} > A={{1,1,a},{0,1,0},{0,0,1}} > Solve[{X.A==Transpose[A].X, Det[X]==1}, > {x,y,z,t,u,v,w}] > > Mathematica 4.1 gives two solutions: > X1={{0,y,0},{y,x,t},{0,v,-1/y^2}} > and > X2={{0,y,a*y},{y,(a*t*y^2-1+a*v*y^2-w*y^2)/(a*y)^2,t}, > {a*y,v,w}} > > However, X1 is not a solution: > X1.A-Transpose[A].X1={{0,0,0},{0,0,a*y},{0,-a*y,0}} > > Could anybody explain this behaviour? > Thanks > PSi You might want to include 'a' as a variable. However, this is clearly a bug. I have found similar problems in Version 3 and 4.1 where Mathematica returns more 'solutions' than exist or where reduce returns an inequivalent system. Very annoying. But we all think of course that better graphics has the priority, right? Matthias