[Date Index] [Thread Index] [Author Index]
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.