Comment #3 on issue 3145 by pr...@goodok.ru: simultaneous substitution
http://code.google.com/p/sympy/issues/detail?id=3145

First of all, I think that it is problem in the assumption system or in the cancellation or in the automatic simplification of a*1/S.Zero --> a*oo

a*1/S.Zero
oo*a

which the reason of the behaviour of example of substitution.

Implicitly this transformation assumes that a<>0.

So we must pay attention to this. And form it as the XFAIL test, I guess.

But the option `parrallel` or `simultaneous` is convenient. If we consider it as the manual control of the substitution process to get around this bug.

--
You received this message because you are subscribed to the Google Groups 
"sympy-patches" group.
To post to this group, send email to sympy-patches@googlegroups.com.
To unsubscribe from this group, send email to 
sympy-patches+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/sympy-patches?hl=en.

Reply via email to