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: [mg112225] Re: Please help
  • From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
  • Date: Sun, 5 Sep 2010 05:28:44 -0400 (EDT)

On 4 Sep 2010, at 10:00, olfa wrote:

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

Your question is not clear enough to answer with much confidence but at least Mathematica can do things like these:

 Assuming[x^2 + y^2 ==== 1, Refine[x^4 + 2 x^2 y^2 + y^4 ==== 1]]

True

or

Assuming[x^2 + y^2 ==== 1, Refine[x ==== 0 || x^2 + y^2 ==== 1]]

True

etc.

Andrzej Kozlowski


  • Prev by Date: Re: Please help
  • Next by Date: Re: Question about ArrayFlatten
  • Previous by thread: Re: Please help
  • Next by thread: Re: Please help