       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:= Simplify[(z == zP && x*y == xP*yP) || (z + x*y == zP + xP*yP)]
Out= (z == zP && x*y == xP*yP) || x*y + z == xP*yP + zP

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.
>
>

```

• Prev by Date: Re: Generating a list numnber in string format
• Next by Date: Re: Is it possible with Mathematica?big problem.thank you
• Previous by thread: Is it possible with Mathematica?big problem.thank you
• Next by thread: Re: Is it possible with Mathematica?big problem.thank you