Comment #59 on issue 1694 by asmeurer: solve has many issues with fractions http://code.google.com/p/sympy/issues/detail?id=1694
"...in practice, I can't figure how solve could return an unsimplified zero as a root from a polynomial expression ; but perhaps I'm mistaken."
The only way I could see it happening is if the constant term is identically zero, but isn't simplified to such (e.g., sin(x)**2 + cos(x)**2 - 1). Actually, many polynomial algorithms such as the Euclidean algorithm and polynomial division rely on the ability to determine if a constant is 0 and may return incorrect results if a term is identically 0 but not actually 0, so I don't know what would happen in this case.
"I'm not sure it's consistent with symbolic calculus however ; what's your opinion on this ?" I guess it could be ok, since this is just checking solutions, not actually finding them (the result is still symbolic). Again, though, if you are really worried, you could just include options to solve to let the user decide how rigorous he wants to be with all of this.
-- 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.
