Comment #17 on issue 1263 by smichr: Invalid movement of roots across
fractions
http://code.google.com/p/sympy/issues/detail?id=1263
I don't think the problem is in cancel since all the above work in 1766 and
I didn't
fix anything in polys8. I did a lot of work in expand,
extract_multiplicatively,
powsimp, however.
Actually, all of the above work correctly in 1766 except for
z = symbols('z', complex=True, negative=False)
assert simplify(sqrt(1/z) - 1/sqrt(z)) != 0
The reason that doesn't work in 1766 is that the negative flag is the only
one I paid
attention to. I would prefer to see an error raised since if a number is
complex it
can't be negative, right? And if the number is 0 (thus not negative) or has
a zero
complex part then it is no longer complex and the complex assumption is
then False.
For that reason I view these assumptions as incompatible.
--
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.
