Comment #20 on issue 1263 by smichr: Invalid movement of roots across fractions
http://code.google.com/p/sympy/issues/detail?id=1263

re 18: I must have put the test in from XFAIL wrong. Thanks for catching that.

This issue is so ironic. I was just looking at Mul the other day trying to think if it migh tbe preferable to (like simplification of 1+x+2 to x+3) to just split all exponents out so x*(y+z) -> x**y*x**z. I think it's a good idea but gave up since there's enough work just sifting out the current work of 1766. But it nagged at me that there was handling of powers in there that might be breaking rules. I'm now looking into the problem where sqrt(z)/z -> 1/sqrt(z) which I think is a problem in
flatten.

Also, Pow.as_base_exp() doesn't check to see if the base.q is positive before
simplifying sqrt(1/z) to 1/sqrt(z).

So as far as I can see, those are the (hopefully) last two places where this problem is existing in 1766. (i.e. once those two problems are fixed in 1766 I think this error will have been erradicated; there are other errors in master related to this
that have been fixed in 1766.)

--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You may adjust your issue notification preferences at:
http://code.google.com/hosting/settings

--
You received this message because you are subscribed to the Google Groups 
"sympy-issues" group.
To post to this group, send email to sympy-iss...@googlegroups.com.
To unsubscribe from this group, send email to 
sympy-issues+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/sympy-issues?hl=en.

Reply via email to