> Just to be sure: None means that mathematically there is no solution. > Error means that the solver is not smart enough. Right?
I believe that's right. When assumptions are involved we only exclude a solution if it violates assumptions, not if it is indeterminate. So you might get a solution that actually *doesn't* work because the checker couldn't verify it. -- You received this message because you are subscribed to the Google Groups "sympy" 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?hl=en.
