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

*To*: mathgroup at smc.vnet.net*Subject*: [mg102624] Re: Is it possible with Mathematica?big problem.thank you*From*: gudi <mathma18 at hotmail.com>*Date*: Mon, 17 Aug 2009 04:03:37 -0400 (EDT)*References*: <h68nou$17i$1@smc.vnet.net>

On Aug 16, 3:41 pm, olfa <olfa.mra... at yahoo.fr> wrote: > 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. I don't know how to do it without an argument.But with it as function usage: x[u_] = xP[u] y[u_] = yP[u] z[u_] = zP[u] z[w] + x[w] y[w] Sin[x[t]] + y[t]^2 / AnyDefinitiion[ 1 - x[t] /y[t] ] HTH Narasimham