Liste des Groupes | Revenir à c arch |
On Wed, 20 Mar 2024 18:21:47 +0200, Michael S wrote:
On Wed, 20 Mar 2024 09:54:36 -0400
Stefan Monnier <monnier@iro.umontreal.ca> wrote:
I had only read the 1st page.The [Rlibm](https://people.cs.rutgers.edu/~sn349/rlibm/) projectThe J. M. Muller book indicates about 2× to 2.5×That much? I had the impression it was significantly cheaper.There are groups who have shown that exactly rounded
trancendental functions are in fact achievable with maybe 3X
reduced performance.
claims to get much better performance (basically, in the same
ballpark as not-correctly-rounded implementations).
It sounds like they are not particularly interested in IEEE binary64
which appears to be the major point of interest of math libs of
conventional languages.
I skimmed their logf(x) implementation. Their technique willThe first 7 terms of the DP polynomial do not require FP128, whereas
fall a part for binary64 (and other higher precisions). With
logf(x), they combine an argument step with table look-up and
a 5th-order polynomial approximation. The polynomial is computed
in double precision, and provides the correct rounding. For
binary64, the polynomial would require many more terms and double-double or binary128 evaluation.
Date | Sujet | # | Auteur | |
14 Mar 24 | Re: Radians Or Degrees? | 53 | Michael S | |
14 Mar 24 | Re: Radians Or Degrees? | 9 | MitchAlsup1 | |
14 Mar 24 | Re: Radians Or Degrees? | 2 | MitchAlsup1 | |
15 Mar 24 | Re: Radians Or Degrees? | 1 | Terje Mathisen | |
14 Mar 24 | Re: Radians Or Degrees? | 5 | Lawrence D'Oliveiro | |
15 Mar 24 | Re: Radians Or Degrees? | 1 | Chris M. Thomasson | |
15 Mar 24 | Re: Radians Or Degrees? | 3 | MitchAlsup1 | |
15 Mar 24 | Re: Radians Or Degrees? | 2 | Chris M. Thomasson | |
15 Mar 24 | Re: Radians Or Degrees? | 1 | Chris M. Thomasson | |
15 Mar 24 | Re: Radians Or Degrees? | 1 | Michael S | |
15 Mar 24 | Re: Radians Or Degrees? | 26 | Terje Mathisen | |
15 Mar 24 | Re: Radians Or Degrees? | 3 | Michael S | |
16 Mar 24 | Re: Radians Or Degrees? | 2 | MitchAlsup1 | |
16 Mar 24 | Re: Radians Or Degrees? | 1 | Terje Mathisen | |
15 Mar 24 | Re: Radians Or Degrees? | 22 | Chris M. Thomasson | |
15 Mar 24 | Re: Radians Or Degrees? | 2 | Chris M. Thomasson | |
16 Mar 24 | Re: Radians Or Degrees? | 1 | Chris M. Thomasson | |
15 Mar 24 | Re: Radians Or Degrees? | 18 | Keith Thompson | |
15 Mar 24 | Re: Radians Or Degrees? | 5 | Chris M. Thomasson | |
15 Mar 24 | Re: Radians Or Degrees? | 4 | Chris M. Thomasson | |
16 Mar 24 | Re: Radians Or Degrees? | 3 | Keith Thompson | |
17 Mar 24 | Re: Radians Or Degrees? | 2 | Chris M. Thomasson | |
18 Mar 24 | Re: Radians Or Degrees? | 1 | Chris M. Thomasson | |
16 Mar 24 | Re: Radians Or Degrees? | 12 | MitchAlsup1 | |
16 Mar 24 | Re: Radians Or Degrees? | 11 | Michael S | |
16 Mar 24 | Re: Radians Or Degrees? | 10 | MitchAlsup1 | |
16 Mar 24 | Re: Radians Or Degrees? | 1 | Michael S | |
17 Mar 24 | Re: Radians Or Degrees? | 8 | Keith Thompson | |
17 Mar 24 | Re: Radians Or Degrees? | 5 | bart | |
17 Mar 24 | Re: Radians Or Degrees? | 4 | Keith Thompson | |
17 Mar 24 | Re: Radians Or Degrees? | 3 | bart | |
17 Mar 24 | Re: Radians Or Degrees? | 2 | Keith Thompson | |
17 Mar 24 | Re: Radians Or Degrees? | 1 | David Brown | |
17 Mar 24 | Re: Radians Or Degrees? | 2 | Michael S | |
17 Mar 24 | Re: Radians Or Degrees? | 1 | Michael S | |
16 Mar 24 | Re: Radians Or Degrees? | 1 | Chris M. Thomasson | |
18 Mar 24 | Re: Radians Or Degrees? | 17 | Stefan Monnier | |
19 Mar 24 | Re: Radians Or Degrees? | 16 | MitchAlsup1 | |
20 Mar 24 | Re: Radians Or Degrees? | 15 | Stefan Monnier | |
20 Mar 24 | Re: Radians Or Degrees? | 11 | Michael S | |
20 Mar 24 | Re: Radians Or Degrees? | 6 | Stefan Monnier | |
20 Mar 24 | Re: Radians Or Degrees? | 5 | MitchAlsup1 | |
21 Mar 24 | Re: Radians Or Degrees? | 4 | Terje Mathisen | |
21 Mar 24 | Re: Radians Or Degrees? | 3 | Michael S | |
21 Mar 24 | Re: Radians Or Degrees? | 1 | MitchAlsup1 | |
23 Mar 24 | Re: Radians Or Degrees? | 1 | Terje Mathisen | |
20 Mar 24 | Re: Radians Or Degrees? | 2 | Steven G. Kargl | |
20 Mar 24 | Re: Radians Or Degrees? | 1 | MitchAlsup1 | |
20 Mar 24 | Re: Radians Or Degrees? | 2 | MitchAlsup1 | |
21 Mar 24 | Re: Radians Or Degrees? | 1 | Michael S | |
20 Mar 24 | Re: Radians Or Degrees? | 2 | MitchAlsup1 | |
20 Mar 24 | Re: Radians Or Degrees? | 1 | Stefan Monnier | |
21 Mar 24 | Re: Radians Or Degrees? | 1 | Terje Mathisen |
Les messages affichés proviennent d'usenet.