Re: Evaluating inequalities
- To: mathgroup at smc.vnet.net
- Subject: [mg131580] Re: Evaluating inequalities
- From: "Nasser M. Abbasi" <nma at 12000.org>
- Date: Sun, 8 Sep 2013 03:06:14 -0400 (EDT)
- Delivered-to: l-mathgroup@mail-archive0.wolfram.com
- Delivered-to: l-mathgroup@wolfram.com
- Delivered-to: mathgroup-outx@smc.vnet.net
- Delivered-to: mathgroup-newsendx@smc.vnet.net
- References: <l0el1t$1dt$1@smc.vnet.net>
- Reply-to: nma at 12000.org
On 9/7/2013 2:36 AM, sam.takoy at yahoo.com wrote: > Hi, > > Why doesn't this: > > Assuming[w/k < KK, -k^2 + w^2/KK^2 > 0] // Simplify > > evaluate to False? > > Thanks! > > Sam > Assuming[w/k < kk, TrueQ[-k^2 + (w/kk)^2 > 0]] (* False *)
- Follow-Ups:
- Re: Evaluating inequalities
- From: Andrzej Kozlowski <akozlowski@gmail.com>
- Re: Evaluating inequalities