annotate lib/log2.c @ 18070:d460ec17f09f

autoupdate
author Karl Berry <karl@freefriends.org>
date Tue, 28 Jul 2015 13:57:32 -0700 (2015-07-28)
parents ab58d4870664
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
16676
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
1 /* Base 2 logarithm.
17848
ab58d4870664 version-etc: new year
Paul Eggert <eggert@cs.ucla.edu>
parents: 17587
diff changeset
2 Copyright (C) 2012-2015 Free Software Foundation, Inc.
16676
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
3
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
4 This program is free software: you can redistribute it and/or modify
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
5 it under the terms of the GNU General Public License as published by
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
6 the Free Software Foundation; either version 3 of the License, or
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
7 (at your option) any later version.
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
8
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
9 This program is distributed in the hope that it will be useful,
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
12 GNU General Public License for more details.
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
13
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
14 You should have received a copy of the GNU General Public License
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
15 along with this program. If not, see <http://www.gnu.org/licenses/>. */
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
16
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
17 #include <config.h>
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
18
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
19 /* Specification. */
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
20 #include <math.h>
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
21
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
22 /* Best possible approximation of log(2) as a 'double'. */
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
23 #define LOG2 0.693147180559945309417232121458176568075
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
24
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
25 /* Best possible approximation of 1/log(2) as a 'double'. */
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
26 #define LOG2_INVERSE 1.44269504088896340735992468100189213743
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
27
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
28 /* sqrt(0.5). */
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
29 #define SQRT_HALF 0.707106781186547524400844362104849039284
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
30
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
31 double
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
32 log2 (double x)
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
33 {
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
34 if (isnand (x))
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
35 return x;
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
36
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
37 if (x <= 0.0)
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
38 {
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
39 if (x == 0.0)
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
40 /* Return -Infinity. */
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
41 return - HUGE_VAL;
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
42 else
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
43 {
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
44 /* Return NaN. */
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
45 #if defined _MSC_VER || (defined __sgi && !defined __GNUC__)
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
46 static double zero;
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
47 return zero / zero;
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
48 #else
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
49 return 0.0 / 0.0;
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
50 #endif
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
51 }
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
52 }
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
53
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
54 /* Decompose x into
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
55 x = 2^e * y
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
56 where
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
57 e is an integer,
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
58 1/2 < y < 2.
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
59 Then log2(x) = e + log2(y) = e + log(y)/log(2). */
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
60 {
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
61 int e;
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
62 double y;
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
63
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
64 y = frexp (x, &e);
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
65 if (y < SQRT_HALF)
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
66 {
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
67 y = 2.0 * y;
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
68 e = e - 1;
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
69 }
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
70
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
71 return (double) e + log (y) * LOG2_INVERSE;
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
72 }
e9598f93f892 New module 'log2'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
73 }