MathGroup Archive: August 2009 [00412]

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

Is it possible with Mathematica?big problem.thank you

To: mathgroup at smc.vnet.net
Subject: [mg102602] Is it possible with Mathematica?big problem.thank you
From: olfa <olfa.mraihi at yahoo.fr>
Date: Sun, 16 Aug 2009 06:41:45 -0400 (EDT)

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.

Follow-Ups:
- Re: Is it possible with Mathematica?big problem.thank you
  - From: Andrzej Kozlowski <akoz@mimuw.edu.pl>
- Re: Is it possible with Mathematica?big problem.thank you
  - From: DrMajorBob <btreat1@austin.rr.com>
- Re: Is it possible with Mathematica?big problem.thank you
  - From: Adriano Pascoletti <adriano.pascoletti@dimi.uniud.it>

Prev by Date: Symbolic integration

Next by Date: Re: Select text with keyboard?

Previous by thread: Re: Re: Symbolic integration

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