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

Assume and $Assumptions and Results

• To: mathgroup at smc.vnet.net
• Subject: [mg102216] Assume and $Assumptions and Results
• From: ivo welch <ivowel at gmail.com>
• Date: Sat, 1 Aug 2009 04:02:49 -0400 (EDT)

[Easy Beginner's Query]


Dear Experts:

My goal is to input a set of assumptions for various variables, and then
determine whether an expression of these variables (a long derivative that
is a few lines) is true or false. That is, I want to input many conditions,
such as "$Assumptions = (x>y) && (y>1)" and then ask Mathematica whether "1/(X+Y) >
1.5" is true, for example.

Alas, I am a little stuck on home plate:
   Simplify[ x > 1, x>0 ]
given that x is greater than 0, isn't it supposed to be True?  Instead Mathematica 
returns "x>1".  It also does not help to make the condition "(x
<esc>elem<esc> Reals) && (x>0)" .


(Another brief questions:  do $Assumptions assignments add or replace
earlier assumptions?)


Help appreciated.  Am I expecting too much of Mathematica?

/iaw

• Follow-Ups:
  • Re: Assume and $Assumptions and Results
    • From: Murray Eisenberg <murray@math.umass.edu>
  • Re: Assume and $Assumptions and Results
    • From: ivo welch <ivowel@gmail.com>