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

MathGroup Archive 2010

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

Search the Archive

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



  • Prev by Date: user-defined functions in KeyEventTranslations.tr
  • Next by Date: Re: Please help
  • Previous by thread: Please help
  • Next by thread: Re: Please help