Status: Valid
Owner: ----
Labels: Type-Defect Priority-Medium Solvers

New issue 3698 by [email protected]: Piecewise does solving with subs
http://code.google.com/p/sympy/issues/detail?id=3698

In [11]: Piecewise((y, Eq(z, 0)), (x**y/log(x), True)).subs(z, log(x))
Out[11]:
⎧  y     for x = 1
⎪
⎪   y
⎨  x
⎪──────  otherwise
⎪log(x)
⎩

In [12]: Piecewise((y, Eq(log(x), 0)), (x**y/log(x), True))
Out[12]:
⎧  y     for log(x) = 0
⎪
⎪   y
⎨  x
⎪──────    otherwise
⎪log(x)
⎩

This is contradictory and confusing. Both the above should give the same thing.

Also, I don't know what the code looks like, but it's not really correct to assume that the result of solve represents all the solutions of an equation, since often there are solutions that solve() can't find. So this could potentially be leading to wrong results at times.

--
You received this message because this project is configured to send all issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings

--
You received this message because you are subscribed to the Google Groups 
"sympy-issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sympy-issues?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to