search

grzegorzmazur / yacas

Computer calculations made easy
http://www.yacas.org
GNU Lesser General Public License v2.1
130 stars 24 forks source link

Simplify(2^(x-1+1)) [sf#11] #11

Open grzegorzmazur opened 9 years ago

grzegorzmazur commented 9 years ago

Reported by anonymous on 2011-11-20 12:38 UTC Simplify(2(x-1+1))

Comment by hmatuschek:

Seems to be fixed by additional rule:

10 # Simplify((_x)(_y)) <-- Simplify(x)Simplify(y);

But I don't know if this may produce side effects. I don't understand the
simplify algorithm but it seems like the power operator is not well covered
there.

Moved from SF: 1075434

grzegorzmazur commented 9 years ago

This testcase actually works as expected now, but the issue remains valid for more complicated exponents