4 ms·
SymPy is great! I have used it to assist me in some formal proofs. (I hope to publish that later.) Note that in my case, I hit a couple of bugs. See the GitHu
by albertzeyer 6y ago
SymPy is great!
I have used it to assist me in some formal proofs. (I hope to publish that later.)
Note that in my case, I hit a couple of bugs. See the GitHub issue tracker (https://github.com/sympy/sympy/issues https://github.com/sympy/sympy/issues). The bugs are easy to detect when you just get an exception (which was often the case for me). However, you can also simply get an incorrect result, which can be more tricky to detect. So be careful and maybe don't trust the results right away without double checking them in some other way.
- ogogmad 6y agoIt sometimes provides an incomplete result when solving non-linear equations. For instance, doing solve(Eq(w*x + y*z,0), [w,x,y,z], dict=True) returns the incorrect result ⎡⎧ -y⋅z ⎫⎤ ⎢⎨w: ─────⎬⎥ ⎣⎩ x ⎭⎦ which is invalid when x is zero. There are more compelling examples, but I don't know any off the top of my head. Interestingly, Wolfram Alpha seems to be better at returning the whole solution, so I use it in combination with Sympy.
- cf 6y agoYou should definitely raise an issue if you got the bandwidth. The project has generally been responsive on this sort of stuff.