Interpretation of Reduce results
- To: mathgroup at smc.vnet.net
- Subject: [mg3833] Interpretation of Reduce results
- From: sherod at boussinesq.Colorado.EDU (Scott Herod)
- Date: Mon, 29 Apr 1996 00:30:44 -0400
- Organization: University of Colorado at Boulder
- Sender: owner-wri-mathgroup at wolfram.com
I guess that I am a little surprised by the following output of Reduce.
In[15]:=
test = {z^2*p[1] + z*p[2] + p[4],
y + z^2*q[1] + z*q[2] + q[4]}
Out[15]=
2 2
{z p[1] + z p[2] + p[4], y + z q[1] + z q[2] + q[4]}
In[16]:=
Reduce[test == 0, {y}, {p[1],q[1]}]
Out[16]=
p[4] == -(z p[2]) && y == -q[4] && z == 0 ||
p[4] == -(z p[2]) && y == -q[4] && z == 0 || z != 0
In particular I was worried that with the final case in Out[16], z != 0,
more was not said. Certainly arbitrary values of z, y, p's and q's won't
satisfy the original equations even if z != 0.
Can someone comment?
Scott Herod
==== [MESSAGE SEPARATOR] ====