Problem with Simplify and Assumptions
- To: mathgroup at smc.vnet.net
- Subject: [mg119216] Problem with Simplify and Assumptions
- From: Cisco Lane <travlorf at yahoo.com>
- Date: Wed, 25 May 2011 05:57:06 -0400 (EDT)
I am wondering how to get the last line to say "True"
In[1]:= $Assumptions = {m >= 1, s > 0}
Out[1]= {m >= 1, s > 0}
In[3]:= Simplify[(1 - 2*m)*s < 0]
Out[3]= True
In[4]:= Simplify[Exp[(1 - 2*m)*s] < 1]
Out[4]= E^s < E^(2 m s)
Thanks,
Frank L.