Re: [math-fun] surdburger
Fred (and everyone), try entering these three statements (successively) into Wolfram's Programming Lab: (1/4)! - 2^(-9/8) \[Sqrt]5 (1 + \[Sqrt]\[Sqrt]5) GoldenRatio^(3/2) \[Pi]^(3/4) Sum[(-1)^n/E^(30 \[Pi] (n + 1/6)^2), {n, -3, 3}] N[%, 33] $MaxExtraPrecision = 9999; N[%%, 33] Whether or not Maple is actually crumbling, I'd say as of now Wolfram pretty much owns numerics. (But I wonder when he'll give 0 for the infinite sum!-) -------- Original Message -------- Subject: Re: [math-fun] surdburger Date: 2019-02-23 18:50 From: Fred Lunnon <fred.lunnon@gmail.com> To: math-fun <math-fun@mailman.xmission.com> Reply-To: math-fun <math-fun@mailman.xmission.com> ############################################## # Gosper surdburgers: http://gosper.org/surdburger.pdf Digits := 99; evalf( (1 + 3^(2/3))^2 - ((1 + 3^(1/3))*(1 + 2*3^(1/3))) ); if (1 + 3^(2/3))^2 = ((1 + 3^(1/3))*(1 + 2*3^(1/3))) then true else false fi; Digits := 10; ############################################## Digits := 99 -0.1e-97 false Digits := 10 ############################################## I could understand Maple surrendering and returning a failure message --- indeed, it might be argued that the arguments of the (complex) roots are indeterminate --- That is a terrible argument. √4 = ±2 is a thought crime. —rwg however _immediately_ returning a wrong answer appears to qualify for a monumental raspberry. And while I'm having my customary Maple moan, why the devil must logical expressions be buried inside if-expressions to persuade the beast to evaluate them at all, correctly or otherwise? Which expressions incidentally may appear nowhere else but at top level, or as the result of a function --- oh why, why, why?! These things are sent to try us ... Amen. WFL
Er --- and your point is? WFL On 2/25/19, Bill Gosper <billgosper@gmail.com> wrote:
Fred (and everyone), try entering these three statements (successively) into Wolfram's Programming Lab:
(1/4)! - 2^(-9/8) \[Sqrt]5 (1 + \[Sqrt]\[Sqrt]5) GoldenRatio^(3/2) \[Pi]^(3/4) Sum[(-1)^n/E^(30 \[Pi] (n + 1/6)^2), {n, -3, 3}]
N[%, 33]
$MaxExtraPrecision = 9999; N[%%, 33]
Whether or not Maple is actually crumbling, I'd say as of now Wolfram pretty much owns numerics. (But I wonder when he'll give 0 for the infinite sum!-)
-------- Original Message -------- Subject: Re: [math-fun] surdburger Date: 2019-02-23 18:50 From: Fred Lunnon <fred.lunnon@gmail.com> To: math-fun <math-fun@mailman.xmission.com> Reply-To: math-fun <math-fun@mailman.xmission.com>
##############################################
# Gosper surdburgers: http://gosper.org/surdburger.pdf Digits := 99; evalf( (1 + 3^(2/3))^2 - ((1 + 3^(1/3))*(1 + 2*3^(1/3))) ); if (1 + 3^(2/3))^2 = ((1 + 3^(1/3))*(1 + 2*3^(1/3))) then true else false fi; Digits := 10;
##############################################
Digits := 99 -0.1e-97 false Digits := 10
##############################################
I could understand Maple surrendering and returning a failure message --- indeed, it might be argued that the arguments of the (complex) roots are indeterminate ---
That is a terrible argument. √4 = ±2 is a thought crime. —rwg
however _immediately_ returning a wrong answer appears to qualify for a monumental raspberry.
And while I'm having my customary Maple moan, why the devil must logical expressions be buried inside if-expressions to persuade the beast to evaluate them at all, correctly or otherwise? Which expressions incidentally may appear nowhere else but at top level, or as the result of a function --- oh why, why, why?!
These things are sent to try us ... Amen. WFL _______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
participants (2)
-
Bill Gosper -
Fred Lunnon