Question about Reduce
- To: mathgroup at smc.vnet.net
- Subject: [mg63897] Question about Reduce
- From: Mark Fisher <mark at markfisher.net>
- Date: Sat, 21 Jan 2006 01:50:43 -0500 (EST)
- Sender: owner-wri-mathgroup at wolfram.com
The following behavior of Reduce puzzles me.
conds = (5*Abs[67/30 - Sqrt[4489/900 - (18*(1 + x/3))/5]])/9 > 1 &&
(5*Abs[67/30 + Sqrt[4489/900 - (18*(1 + x/3))/5]])/9 > 1;
conds /. x -> 2
returns True
but
Reduce[conds && x â?? Reals, {x}, Complexes] /. x -> 2
returns False.
Is that a bug or do I just not understand what Reduce should do?
--Mark
- Follow-Ups:
- Re: Question about Reduce
- From: Andrzej Kozlowski <akoz@mimuw.edu.pl>
- Re: Question about Reduce