Toward an API for the real numbers
10-08-2020, 01:07 PM
Post: #10
 Albert Chan Senior Member Posts: 1,797 Joined: Jul 2018
RE: Toward an API for the real numbers
(10-08-2020 03:26 AM)Paul Dale Wrote:  It's an interesting approach. It still boils down to deceiving the user about results. Albeit, it is giving "good" approximations.

E.g. it seems like it only deals with single transcendental functions. Something like log(log(x)) would throw it off.

Can you elaborate what is the "interesting approach" ?

From what I've read, this API seems able to do whole expression, returning correctly rounded results.

I were thinking it does calculations like spigot, a command-line exact real calculator
All digits it returns guaranteed correct (the down side, take lots of time, sometimes literally stuck)

Lets try first example from Why and how to use arbitrary precision

>spigot --printf="%.34g" "173746*sin(1e22) + 94228*log(17.1) - 78487*exp(0.42)"
-1.341818957829619549704278684230959e-12

1e22 SIN 173746 × ﻿ ﻿ ﻿ ﻿ → -148066.4888436499855528005582160138
17.1 LN 94228 × + ﻿ ﻿ ﻿ ﻿ →﻿﻿ ﻿ 119454.1966158397094008651162133881
0.42 EXP 78487 × ﻿ ﻿ ﻿ ﻿ ﻿ → ﻿ 119454.1966158397107426840740430076
- ﻿ ﻿ ﻿ ﻿ ﻿ ﻿ ﻿ ﻿ ﻿ ﻿ ﻿ ﻿ ﻿ ﻿ ﻿ ﻿ ﻿ ﻿ ﻿﻿ ﻿ →﻿ ﻿ ﻿ ﻿ ﻿ ﻿ -0.0000000000013418189578296195
 « Next Oldest | Next Newest »

 Messages In This Thread Toward an API for the real numbers - Bill Duncan - 10-05-2020, 01:19 AM RE: Toward an API for the real numbers - robve - 10-05-2020, 03:13 AM RE: Toward an API for the real numbers - Wes Loewer - 10-05-2020, 07:24 PM RE: Toward an API for the real numbers - robve - 10-06-2020, 01:16 AM RE: Toward an API for the real numbers - KeithB - 10-05-2020, 04:36 PM RE: Toward an API for the real numbers - KeithB - 10-07-2020, 01:35 PM RE: Toward an API for the real numbers - robve - 10-07-2020, 05:40 PM RE: Toward an API for the real numbers - Wes Loewer - 10-07-2020, 08:58 PM RE: Toward an API for the real numbers - Paul Dale - 10-08-2020, 03:26 AM RE: Toward an API for the real numbers - Albert Chan - 10-08-2020 01:07 PM

User(s) browsing this thread: 1 Guest(s)