Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2010

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

Search the Archive

Simplify fails to simplify

  • To: mathgroup at smc.vnet.net
  • Subject: [mg113145] Simplify fails to simplify
  • From: István Zachar <zac at freemail.hu>
  • Date: Fri, 15 Oct 2010 13:51:14 -0400 (EDT)

Dear Group,

how can I force Simplify to simplify the last two examples to True?

In[29]:= Simplify[f + d/k2 > d/k1, k1 > k2 > 0 && b > 0 && d > 0 && f
> 0]

Out[29]= True

In[30]:= Simplify[f/b + d/k2 > d/k1, k1 > k2 > 0 && b > 0 && d > 0 &&
f > 0]

Out[30]= k1 (b d + f k2) > b d k2

In[31]:= Simplify[f + (b d)/k2 > (b d)/k1, k1 > k2 > 0 && b > 0 && d >
0 && f > 0]

Out[31]= k1 (b d + f k2) > b d k2


  • Prev by Date: vertical plane in plot3D
  • Next by Date: symbolic division of series
  • Previous by thread: Re: vertical plane in plot3D
  • Next by thread: symbolic division of series