MathGroup Archive 2013

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

Search the Archive

Re: Evaluating inequalities

  • To: mathgroup at smc.vnet.net
  • Subject: [mg131588] Re: Evaluating inequalities
  • From: Andrzej Kozlowski <akozlowski at gmail.com>
  • Date: Mon, 9 Sep 2013 00:05:29 -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> <20130908070614.BF9956A10@smc.vnet.net>

On 8 Sep 2013, at 09:06, "Nasser M. Abbasi" <nma at 12000.org> wrote:

> 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 *)
>

This is a really great way to prove absolutely anything you like (or its negation). And the reason is of course that

TrueQ["Your understand what TrueQ is for."]

False

Andrzej Kozlowski




  • Prev by Date: Re: Variable transformations
  • Next by Date: Re: Evaluating inequalities
  • Previous by thread: Re: Evaluating inequalities
  • Next by thread: Re: Evaluating inequalities