Services & ResourcesWolfram ForumsMathGroup Archive

[Date Index] [Thread Index] [Author Index]

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>