Bug in Reduce?
- To: mathgroup at smc.vnet.net
- Subject: [mg60406] Bug in Reduce?
- From: "Kennedy" <jack at realmode.com>
- Date: Thu, 15 Sep 2005 05:16:26 -0400 (EDT)
- References: <dfrhi4$g4l$1@smc.vnet.net> <dg8lfv$r8g$1@smc.vnet.net> <200509140926.FAA01590@smc.vnet.net>
- Sender: owner-wri-mathgroup at wolfram.com
The source of this apparent bug could be my misunderstanding of the middle,
"vars" parameter of Reduce, but it sure seems like the following output
indicates that c must be 0 for my two equations to be satisfied, when in
fact if a and b are both 0, c does not need to be 0.
Regards,
Jack
In[1]:=
Reduce[{a c - b d == 0, a d + b c == 0}, {a, b, c, d}, Reals] //
FullSimplify
Out[1]=
c == 0 && (d == 0 || (a == 0 && b == 0))
(version 5.1 for Windows)
- Follow-Ups:
- Re: Bug in Reduce?
- From: Pratik Desai <pdesai1@umbc.edu>
- Re: Bug in Reduce?
- From: Andrzej Kozlowski <andrzej@yhc.att.ne.jp>
- Re: Bug in Reduce?
- From: Chris Chiasson <chris.chiasson@gmail.com>
- Re: Bug in Reduce?
- From: "benshimo@bgumail.bgu.ac.il" <bsyehuda@gmail.com>
- Re: Bug in Reduce?
- References:
- Re: Simplify and Noncommutativity
- From: Robert Schoefbeck <schoefbeck@hep.itp.tuwien.ac.at>
- Re: Simplify and Noncommutativity