Re: Please help
- To: mathgroup at smc.vnet.net
- Subject: [mg112268] Re: Please help
- From: olfa <olfa.mraihi at yahoo.fr>
- Date: Tue, 7 Sep 2010 02:02:44 -0400 (EDT)
- References: <email@example.com>
On 5 sep, 11:28, Andrzej Kozlowski <a... at mimuw.edu.pl> wrote: > 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 With this example I will try to clarify my question: x,xP,y,yP,t,tP are variables. y and yP are integer variables. Having this disjunction of conjunctions : (y+Floor[Log[2,x]]==yP+Floor[Log[2,xP]] && t==tP && y==yP) || (t/ 2^(y)==tP/2^(yP) && y+Log[2,x]==yP+Log[2,xP]) is Mathematica able to detect (to recognize) that there is implications in this system?