Mathematica 9 is now available
Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2012

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

Search the Archive

Simplify puzzle

  • To: mathgroup at smc.vnet.net
  • Subject: [mg124631] Simplify puzzle
  • From: Alan <alan.isaac at gmail.com>
  • Date: Fri, 27 Jan 2012 06:11:51 -0500 (EST)
  • Delivered-to: l-mathgroup@mail-archive0.wolfram.com

Why does the first simplification below fail?
(Each term succeeds!)
Thanks,
Alan Isaac

In[205]:=
myassumptions = a > 0 && b > 0 && c > 0 && 1 > d > 0 && 1 > e > 0;
Simplify[a*b + c*(1 - d*(1 - e)) > 0, Assumptions -> myassumptions]
Simplify[a*b > 0, Assumptions -> myassumptions]
Simplify[c*(1 - d*(1 - e)) > 0, Assumptions -> myassumptions]

Out[206]= a b + c + c d e > c d

Out[207]= True

Out[208]= True



  • Prev by Date: navigate notebook
  • Next by Date: Re: GramSchmidt function
  • Previous by thread: Re: navigate notebook
  • Next by thread: Re: Simplify puzzle