MathGroup Archive 2009

[Date Index] [Thread Index] [Author Index]

Search the Archive

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


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


  • Prev by Date: Re: Is it possible with Mathematica?big problem.thank you
  • Next by Date: Re: Do-command
  • Previous by thread: Re: Is it possible with Mathematica?big problem.thank you
  • Next by thread: Re: Whitcomb supercritical airfoil wings in a Mathematica model