There was some discussion on this at https://code.google.com/p/sympy/issues/detail?id=2571, but ultimately I think we should do what I described at https://code.google.com/p/sympy/issues/detail?id=3829, namely subs should always try to return a mathemetically correct result, meaning that for an indefinite integral, a substitution on the integration variable should return a definite integral.
For a definite integral, it's a different story. I'm not sure if we ever decided what subs should do for bound variables. Manoj, it would be great if you could fix this. Let me know if you need any more description on what needs to be done. Aaron Meurer On Fri, Aug 9, 2013 at 1:00 PM, Ondřej Čertík <ondrej.cer...@gmail.com> wrote: > On Fri, Aug 9, 2013 at 12:51 PM, Manoj Kumar > <manojkumarsivaraj...@gmail.com> wrote: >> Thanks Ondrej. Thats great, but I don't know what type eq is, it can be >> anything. Is there any way of doing this other than checking if eq is an >> instance of Integral or checking individual terms in eq.args if they are >> instances of Integral? > > I see your point. I know there were similar problems when using subs > with Derivative. > > Aaron, do you remember what the conclusion was? Should subs be fixed > for Integral as well? > > Ondrej > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sympy+unsubscr...@googlegroups.com. > To post to this group, send email to sympy@googlegroups.com. > Visit this group at http://groups.google.com/group/sympy. > For more options, visit https://groups.google.com/groups/opt_out. > > -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.
