Comment #2 on issue 2834 by [email protected]: naive radical removal can
lead to multiplying by 0/0
http://code.google.com/p/sympy/issues/detail?id=2834
Actually, radsimp and the simpler version in simplify should not be done if
there are symbols involved since the resulting simplification of `a +
b*sqrt(c)` to `a**2 - b**2*c` is conditional on `a` not being equal to
`+/-b*sqrt(c)` and if `a` is symbolic, the expression will fail if any
substitution makes that true. And since Piecewise is not being returned
from simplify, there is no way to let the user know why their expression is
not simplifying properly, e.g.
>>> eq=1/(a+sqrt(c))
>>> seq=simplify(eq)
>>> eq.subs(a,sqrt(c))
1/(2*sqrt(c))
>>> seq.subs(a,sqrt(c))
nan
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sympy-issues?hl=en.
