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

Simplification problem

• To: mathgroup at smc.vnet.net
• Subject: [mg104755] Simplification problem
• From: olfa <olfa.mraihi at yahoo.fr>
• Date: Sun, 8 Nov 2009 06:51:19 -0500 (EST)

Hello mathematica community
Having this system of equations:
(z1==z2 && x*t==x1*t1)||(z1+x1*t1==z2+x2*t2)
 why a function like fullsimplify or booleanminimize doesn't simplify
it into z1+x1*t1==z2+x2*t2?
same question for (y1==y2 && t1== t2)||(t1/2^y1==t2/2^y2) why it is
not simplified into t1/2^y1==t2/2^y2.
is there another function that I can use?
thank you.

• Follow-Ups:
  • Re: Simplification problem
    • From: Andrzej Kozlowski <akoz@mimuw.edu.pl>