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

Re: Please help

• To: mathgroup at smc.vnet.net
• Subject: [mg112220] Re: Please help
• From: Peter Pein <petsie at dordos.net>
• Date: Sun, 5 Sep 2010 05:27:50 -0400 (EDT)
• References: <i5suar$pc6$1@smc.vnet.net>

Am Sat, 4 Sep 2010 08:00:27 +0000 (UTC)
schrieb olfa <olfa.mraihi at yahoo.fr>:

> Hi Mathematica Community,
> 
> Is Mathematica able to detect(recognize) implication between
> equations?
> 
> Thank you.
> 

You can test for implications using Implies[] and (Full)Simplify[]:

In[1]:= Simplify[x^2 + y^2 <= r^2 \[Implies] x <= r, 
 r >= 0 && Element[x | y, Reals]]

Out[1]= True

hth,
Peter