Updates:
        Status: Accepted
        Labels: -NeedsReview -smichr

Comment #23 on issue 2571 by [email protected]: Regression in Integral.subs
http://code.google.com/p/sympy/issues/detail?id=2571

Sorry, but I still think this isn't powerful enough. The expression from the original post now works, which is good (this can no stop blocking issue 2010), but it doesn't work for a definite integral:


In [2]: Integral((exp(x*log(x))*log(x)), (x, 0, 1)).subs(exp(x*log(x)), x**x)
Out[2]:
1
⌠
⎮  x⋅log(x)
⎮ ℯ        ⋅log(x) dx
⌡
0

I get that there's the possibility for ambiguity if the same Symbol is both free and bound, but that isn't even happening in this case.

So I still think that any substitution should be allowed, except if the old is a Symbol, the new must also be a Symbol.

--
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.

Reply via email to