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