Re: Is it possible with Mathematica?big problem.thank you

*To*: mathgroup at smc.vnet.net*Subject*: [mg102638] Re: [mg102602] Is it possible with Mathematica?big problem.thank you*From*: Adriano Pascoletti <adriano.pascoletti at dimi.uniud.it>*Date*: Mon, 17 Aug 2009 04:06:09 -0400 (EDT)*References*: <200908161041.GAA01276@smc.vnet.net>

In[1]:= Simplify[(z == zP && x*y == xP*yP) || (z + x*y == zP + xP*yP)] Out[1]= (z == zP && x*y == xP*yP) || x*y + z == xP*yP + zP Adriano Pascoletti 2009/8/16 olfa <olfa.mraihi at yahoo.fr> > hello mathematica community, > is it possible with mathematica to simplify this expression: > [(z == zP and x*y == xP*yP)or (z + x*y == zP + xP*yP)] > into: > (z + x*y == zP + xP*yP) > > in fact something in mathematica should detect automatically that (z > == zP and x*y == xP*yP) implies (z + x*y == zP + xP*yP)and then > simplify the expression above based on a theorem or rule that says > when [a implies b] then [a or b] is simplified into b . > > hope my explanation is clear and thank you very much for your help. > >

**References**:**Is it possible with Mathematica?big problem.thank you***From:*olfa <olfa.mraihi@yahoo.fr>