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>
- Re: Simplification problem