Skip to main content

Timeline for Computer algebra errors

Current License: CC BY-SA 4.0

25 events
when toggle format what by license comment
Jan 2, 2023 at 7:33 history edited Martin Sleziak CC BY-SA 4.0
http -> https (the question was bumped anyway)
Nov 5, 2022 at 4:02 history edited KConrad CC BY-SA 4.0
added 181 characters in body
Nov 4, 2022 at 21:10 comment added Akiva Weinberger For anyone coming across this thread in the future, they may enjoy this 3Blue1Brown video on the topic: youtube.com/watch?v=851U557j6HE
Dec 3, 2021 at 16:45 comment added username I'll wait until the Riemann Hypothesis is disproved by a counter example to be truly surprised.
Oct 26, 2019 at 3:05 comment added The_Sympathizer Note that that last fraction is suuuuuuper close to $\frac{1}{2}$ (best seen by punching it, with care, into a high-precision calculation package.). So while it looks dramatically significant when written as a fraction, it is actually a dramatically subtle deviation when you consider what the represented number really is.
May 6, 2018 at 15:55 comment added Neapolitan @AlexShpilkin, yes I see---sorry for the noise. Reading back through the comments, this confusion has been answered before. Perhaps you could put your note beside the link in the answer? Thnx
May 4, 2018 at 20:48 comment added Alex Shpilkin @Neapolitan The linked page integrates $\sin x / x$ times $\sin(x/3) / x$ times ... as opposed to $\operatorname{sinc} x\equiv\sin x / x$ times $\operatorname{sinc}(x/3)\equiv 3\sin(x/3) / x$ times ..., which changes the constant factor by $n!!\,$.
Apr 16, 2018 at 1:02 comment added Neapolitan Linked page gives the sequence $\pi$ times 1/2, 1/6, 1/30, 1/210, 1/1890, 1/20790, 1/270270 for the first seven terms, not 1/2, 1/2, ...
Aug 18, 2016 at 18:18 comment added Jacques Carette @Voyska No, it was not reported as a bug, just as an 'oddity' (or something like that). Jon was not mean, but playful in a devious way. He will be missed.
Aug 17, 2016 at 17:16 comment added Red Banana @JacquesCarette How did he trick you? It's not clear. Did he say it was a bug but he knew it wasn't?
Nov 29, 2013 at 1:50 comment added Jacques Carette @polkovnikov.ph Indeed.
Nov 27, 2013 at 14:54 comment added polkovnikov.ph @JacquesCarette That vendor was Maple, right?
May 11, 2013 at 4:23 comment added Will Sawin @Joel: That gets canceled by the difference between $\operatorname{sinc}$ and $\sin$, except for a constant factor, which I think accounts for the difference.
Feb 13, 2013 at 15:03 history edited Ryan Reich CC BY-SA 3.0
prettify latex
Apr 27, 2011 at 2:31 comment added JRN @Harald, the integral in the link has the term $x^{-(n+1)/2}$, while the integral in the answer does not. Perhaps this is the reason for the differences in values?
Apr 27, 2011 at 0:37 history edited Dan Piponi CC BY-SA 3.0
deleted 2 characters in body
Aug 9, 2010 at 22:21 comment added user6096 @sigfpe In the integral that follows the words "in an algebra package:" you integrate sinc(x) divided by x, not sin(x) divided by x. I believe that this is the point of confusion.
May 28, 2010 at 5:54 comment added Dan Piponi @Harald The whole point is that it is miraculous! I checked all the integrals above in Mathematica again and they appear to be correct.
May 25, 2010 at 1:58 comment added Harald Hanche-Olsen Um, the values given in the answer don't seem to match the values given in the link. I tend to believe the link more, since merely having the numerator 1 in the first several integrals (and then not) seems rather less miraculous than the first several integrals having identical values (and then not). Is it a case of cut-and-paste disease, or have I misunderstood? Also, the first integral as written diverges at 0. I guess the extra division by $x$ does not belong.
May 24, 2010 at 23:40 history edited Dan Piponi CC BY-SA 2.5
Added new link for "Borwein integrals".
Feb 17, 2010 at 4:19 comment added Dan Piponi @Jacques It's wonderful to hear from the 'poor vendor'. Thanks for replying.
Feb 17, 2010 at 4:03 comment added Jacques Carette The actual person at that "poor vendor" was me. I must have spent 3 days on this problem before I figured out that Jon had tricked me. And, indeed, I am an expert in computer algebra, but do not know much Fourier analysis. But Jon's proof for why this is 'correct' is quite geometrical.
Feb 16, 2010 at 19:29 comment added Dan Piponi @fedja I disagree. It merely shows the reasonable state of affairs that someone expert in one field, having to borrow theorems from another field, may get a surprise.
Jan 29, 2010 at 18:47 comment added fedja Which means that nobody knows Fourier analysis nowdays. Very sad and discouraging story...
Jan 13, 2010 at 2:14 history answered Dan Piponi CC BY-SA 2.5