On Tuesday, October 28, 2014 9:30:19 AM UTC-7, Aaron Meurer wrote: > > Being open source is definitely a plus for SymPy here. The authors > could have stepped through SymPy with a debugger to help figure out > their problem, and submitted a pull request for a fix once they found > it. > If they knew anything about debugging and SymPy, which is not so probable.
> > It's not always possible, or obvious, but it's best to verify your > results somehow. A good way is to compute the same thing, but in a > different way (doing a random numerical check counts as this). Not a very good way, really. If the bug affects (say) arithmetic, and you've re-ordered stuff but there is a coincidence in 2 ops, you may get the same wrong answer. There are also examples in which a numerical calc gets the same (wrong) answer in single and double precision, but gets a correct answer in higher precision ... in the literature.. > The > likelihood of a bug manifesting itself in exactly the same way in two > completely different algorithms is very low. > I have published examples where 2 different CAS get the same wrong answer. > > But you are right that all software has bugs. I would consider this > paper to be rather low quality, especially for the ACM. Not ACM AMS ( Math Society apparently doesn't have a reviewer who understands such things...) > It reads more > like a ranty comment from an idiot on Hacker News than an academic > paper. Even so, others reading it may have the same mindset that they > did, that black box software written by others always works, and it's > good to remove that illusion. > I wonder if that is common among mathematicians? It is my impression that academic mathematicians are even more suspicious of computer results than is reasonable. Of course there are suckers in every crowd, who praise Mathematica etc. But they learned math from physicists, probably. :) > > Aaron Meurer > > On Tue, Oct 28, 2014 at 6:38 AM, Joachim Durchholz <[email protected] > <javascript:>> wrote: > > http://www.ams.org/notices/201410/rnoti-p1249.pdf > > > > It's hammering Mathematica, but of course bugs like that can happen with > any > > symbolic math software. > > Still, SymPy might be able to milk arguments from it. Such as: being > open > > source, it's easier to find and fix the source of miscalculations like > the > > one reported in that paper. > > > > (I find it also remarkable that Wolfram let a known problem lie dormant > for > > so long. That paper is going to hurt their name, badly.) > Only for people who read AMS, which is to say, very few people. > > > > -- > > 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 [email protected] <javascript:>. > > To post to this group, send email to [email protected] > <javascript:>. > > Visit this group at http://groups.google.com/group/sympy. > > To view this discussion on the web visit > > https://groups.google.com/d/msgid/sympy/544F9C5F.7080800%40durchholz.org. > > > For more options, visit https://groups.google.com/d/optout. > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/d9af4941-c4b1-4b21-8759-3655d10a866c%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
