Commit | Line | Data |
---|---|---|
0f2d19dd JB |
1 | /* classes: h_files */ |
2 | ||
3c9a524f DH |
3 | #ifndef SCM_NUMBERS_H |
4 | #define SCM_NUMBERS_H | |
dee01b01 | 5 | |
7facc08a MW |
6 | /* Copyright (C) 1995,1996,1998,2000,2001,2002,2003,2004,2005, 2006, |
7 | * 2008, 2009, 2010, 2011, 2013 Free Software Foundation, Inc. | |
dee01b01 | 8 | * |
73be1d9e | 9 | * This library is free software; you can redistribute it and/or |
53befeb7 NJ |
10 | * modify it under the terms of the GNU Lesser General Public License |
11 | * as published by the Free Software Foundation; either version 3 of | |
12 | * the License, or (at your option) any later version. | |
dee01b01 | 13 | * |
53befeb7 NJ |
14 | * This library is distributed in the hope that it will be useful, but |
15 | * WITHOUT ANY WARRANTY; without even the implied warranty of | |
73be1d9e MV |
16 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
17 | * Lesser General Public License for more details. | |
dee01b01 | 18 | * |
73be1d9e MV |
19 | * You should have received a copy of the GNU Lesser General Public |
20 | * License along with this library; if not, write to the Free Software | |
53befeb7 NJ |
21 | * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA |
22 | * 02110-1301 USA | |
73be1d9e | 23 | */ |
d3a6bc94 | 24 | |
0f2d19dd JB |
25 | \f |
26 | ||
cd036260 MV |
27 | #include <gmp.h> |
28 | ||
b4309c3c | 29 | #include "libguile/__scm.h" |
34f74fe1 MD |
30 | #include "libguile/print.h" |
31 | ||
889975e5 MG |
32 | #ifndef SCM_T_WCHAR_DEFINED |
33 | typedef scm_t_int32 scm_t_wchar; | |
34 | #define SCM_T_WCHAR_DEFINED | |
35 | #endif /* SCM_T_WCHAR_DEFINED */ | |
36 | ||
0f2d19dd JB |
37 | \f |
38 | ||
14282d0f | 39 | /* Immediate Numbers, also known as fixnums |
0f2d19dd | 40 | * |
14282d0f | 41 | * Inums are exact integer data that fits within an SCM word. */ |
0f2d19dd | 42 | |
c0060c95 MV |
43 | /* SCM_T_SIGNED_MAX is (- (expt 2 n) 1), |
44 | * SCM_MOST_POSITIVE_FIXNUM should be (- (expt 2 (- n 2)) 1) | |
45 | * which is the same as (/ (- (expt 2 n) 4) 4) | |
46 | */ | |
47 | ||
004c0902 | 48 | #define SCM_I_FIXNUM_BIT (SCM_LONG_BIT - 2) |
c0060c95 | 49 | #define SCM_MOST_POSITIVE_FIXNUM ((SCM_T_SIGNED_BITS_MAX-3)/4) |
004c0902 | 50 | #define SCM_MOST_NEGATIVE_FIXNUM (-SCM_MOST_POSITIVE_FIXNUM-1) |
5c75b29f | 51 | |
56100716 DH |
52 | /* SCM_SRS is signed right shift */ |
53 | #if (-1 == (((-1) << 2) + 2) >> 2) | |
14282d0f | 54 | # define SCM_SRS(x, y) ((x) >> (y)) |
0f2d19dd | 55 | #else |
14282d0f | 56 | # define SCM_SRS(x, y) ((x) < 0 ? ~((~(x)) >> (y)) : ((x) >> (y))) |
56100716 | 57 | #endif /* (-1 == (((-1) << 2) + 2) >> 2) */ |
0f2d19dd JB |
58 | |
59 | ||
3aa13a05 MV |
60 | #define SCM_I_INUMP(x) (2 & SCM_UNPACK (x)) |
61 | #define SCM_I_NINUMP(x) (!SCM_I_INUMP (x)) | |
5a572ca1 | 62 | #define SCM_I_MAKINUM(x) \ |
5d7d39ff | 63 | (SCM_PACK ((((scm_t_signed_bits) (x)) << 2) + scm_tc2_int)) |
3aa13a05 | 64 | #define SCM_I_INUM(x) (SCM_SRS ((scm_t_signed_bits) SCM_UNPACK (x), 2)) |
0f2d19dd | 65 | |
894a712b DH |
66 | /* SCM_FIXABLE is true if its long argument can be encoded in an SCM_INUM. */ |
67 | #define SCM_POSFIXABLE(n) ((n) <= SCM_MOST_POSITIVE_FIXNUM) | |
68 | #define SCM_NEGFIXABLE(n) ((n) >= SCM_MOST_NEGATIVE_FIXNUM) | |
14282d0f | 69 | #define SCM_FIXABLE(n) (SCM_POSFIXABLE (n) && SCM_NEGFIXABLE (n)) |
894a712b DH |
70 | |
71 | ||
cff5fa33 MW |
72 | #define SCM_INUM0 (SCM_I_MAKINUM (0)) /* A name for 0 */ |
73 | #define SCM_INUM1 (SCM_I_MAKINUM (1)) /* A name for 1 */ | |
74 | ||
0f2d19dd | 75 | |
c0060c95 | 76 | /* SCM_MAXEXP is the maximum double precision exponent |
88eb6852 MD |
77 | * SCM_FLTMAX is less than or scm_equal the largest single precision float |
78 | */ | |
79 | ||
f0ad7455 RB |
80 | #if SCM_HAVE_STDC_HEADERS |
81 | # ifndef GO32 | |
1e498fbd SJ |
82 | # include <float.h> |
83 | # ifdef __MINGW32__ | |
84 | # define copysign _copysign | |
1e498fbd SJ |
85 | # define finite _finite |
86 | # endif /* __MINGW32__ */ | |
f0ad7455 | 87 | # endif /* ndef GO32 */ |
88eb6852 | 88 | #endif /* def STDC_HEADERS */ |
f0ad7455 | 89 | |
88eb6852 | 90 | #ifdef DBL_MAX_10_EXP |
f0ad7455 | 91 | # define SCM_MAXEXP DBL_MAX_10_EXP |
88eb6852 | 92 | #else |
f0ad7455 | 93 | # define SCM_MAXEXP 308 /* IEEE doubles */ |
88eb6852 | 94 | #endif /* def DBL_MAX_10_EXP */ |
f0ad7455 | 95 | |
88eb6852 | 96 | #ifdef FLT_MAX |
f0ad7455 | 97 | # define SCM_FLTMAX FLT_MAX |
88eb6852 | 98 | #else |
f0ad7455 | 99 | # define SCM_FLTMAX 1e+23 |
88eb6852 MD |
100 | #endif /* def FLT_MAX */ |
101 | ||
0f2d19dd | 102 | |
2881e77b MV |
103 | /* SCM_INTBUFLEN is the maximum number of characters neccessary for |
104 | * the printed or scm_string representation of an scm_t_intmax in | |
105 | * radix 2. The buffer passed to scm_iint2str and scm_iuint2str must | |
106 | * be of this size, for example. | |
0f2d19dd | 107 | */ |
2881e77b | 108 | #define SCM_INTBUFLEN (5 + SCM_CHAR_BIT*sizeof(scm_t_intmax)) |
0f2d19dd JB |
109 | |
110 | \f | |
111 | ||
112 | /* Numbers | |
113 | */ | |
114 | ||
534c55a9 DH |
115 | |
116 | /* Note that scm_tc16_real and scm_tc16_complex are given tc16-codes that only | |
117 | * differ in one bit: This way, checking if an object is an inexact number can | |
118 | * be done quickly (using the TYP16S macro). */ | |
119 | ||
f03314f9 DH |
120 | /* Number subtype 1 to 3 (note the dependency on the predicates SCM_INEXACTP |
121 | * and SCM_NUMP) */ | |
534c55a9 DH |
122 | #define scm_tc16_big (scm_tc7_number + 1 * 256L) |
123 | #define scm_tc16_real (scm_tc7_number + 2 * 256L) | |
124 | #define scm_tc16_complex (scm_tc7_number + 3 * 256L) | |
f92e85f7 | 125 | #define scm_tc16_fraction (scm_tc7_number + 4 * 256L) |
534c55a9 | 126 | |
f03314f9 DH |
127 | #define SCM_INEXACTP(x) \ |
128 | (!SCM_IMP (x) && (0xfeff & SCM_CELL_TYPE (x)) == scm_tc16_real) | |
0d5e3480 DH |
129 | #define SCM_REALP(x) (!SCM_IMP (x) && SCM_TYP16 (x) == scm_tc16_real) |
130 | #define SCM_COMPLEXP(x) (!SCM_IMP (x) && SCM_TYP16 (x) == scm_tc16_complex) | |
88eb6852 | 131 | |
92c2555f | 132 | #define SCM_REAL_VALUE(x) (((scm_t_double *) SCM2PTR (x))->real) |
03604fcf LC |
133 | #define SCM_COMPLEX_REAL(x) (((scm_t_complex *) SCM2PTR (x))->real) |
134 | #define SCM_COMPLEX_IMAG(x) (((scm_t_complex *) SCM2PTR (x))->imag) | |
0f2d19dd | 135 | |
d3e7e88d | 136 | /* Each bignum is just an mpz_t stored in a double cell starting at word 1. */ |
fba8fdc0 | 137 | #define SCM_I_BIG_MPZ(x) (*((mpz_t *) (SCM_CELL_OBJECT_LOC((x),1)))) |
d3e7e88d | 138 | #define SCM_BIGP(x) (!SCM_IMP (x) && SCM_TYP16 (x) == scm_tc16_big) |
0f2d19dd | 139 | |
3aa13a05 | 140 | #define SCM_NUMBERP(x) (SCM_I_INUMP(x) || SCM_NUMP(x)) |
d3e7e88d | 141 | #define SCM_NUMP(x) (!SCM_IMP(x) \ |
5093e518 | 142 | && ((0x00ff & SCM_CELL_TYPE (x)) == scm_tc7_number)) |
f92e85f7 MV |
143 | |
144 | #define SCM_FRACTIONP(x) (!SCM_IMP (x) && SCM_TYP16 (x) == scm_tc16_fraction) | |
651f07f8 DH |
145 | #define SCM_FRACTION_NUMERATOR(x) (SCM_CELL_OBJECT_1 (x)) |
146 | #define SCM_FRACTION_DENOMINATOR(x) (SCM_CELL_OBJECT_2 (x)) | |
88eb6852 | 147 | |
0f2d19dd JB |
148 | \f |
149 | ||
92c2555f | 150 | typedef struct scm_t_double |
0f2d19dd JB |
151 | { |
152 | SCM type; | |
88eb6852 MD |
153 | SCM pad; |
154 | double real; | |
92c2555f | 155 | } scm_t_double; |
0f2d19dd | 156 | |
92c2555f | 157 | typedef struct scm_t_complex |
0f2d19dd | 158 | { |
03604fcf LC |
159 | SCM type; |
160 | SCM pad; | |
88eb6852 MD |
161 | double real; |
162 | double imag; | |
92c2555f | 163 | } scm_t_complex; |
0f2d19dd | 164 | |
904a78f1 | 165 | |
0f2d19dd | 166 | \f |
0f2d19dd | 167 | |
33b001fd | 168 | SCM_API SCM scm_exact_p (SCM x); |
022dda69 | 169 | SCM_API int scm_is_exact (SCM x); |
33b001fd MV |
170 | SCM_API SCM scm_odd_p (SCM n); |
171 | SCM_API SCM scm_even_p (SCM n); | |
2519490c MW |
172 | SCM_API SCM scm_finite_p (SCM x); |
173 | SCM_API SCM scm_inf_p (SCM x); | |
174 | SCM_API SCM scm_nan_p (SCM x); | |
232898d9 MV |
175 | SCM_API SCM scm_inf (void); |
176 | SCM_API SCM scm_nan (void); | |
33b001fd MV |
177 | SCM_API SCM scm_abs (SCM x); |
178 | SCM_API SCM scm_quotient (SCM x, SCM y); | |
179 | SCM_API SCM scm_remainder (SCM x, SCM y); | |
180 | SCM_API SCM scm_modulo (SCM x, SCM y); | |
5fbf680b | 181 | SCM_API void scm_euclidean_divide (SCM x, SCM y, SCM *q, SCM *r); |
ff62c168 MW |
182 | SCM_API SCM scm_euclidean_quotient (SCM x, SCM y); |
183 | SCM_API SCM scm_euclidean_remainder (SCM x, SCM y); | |
8f9da340 MW |
184 | SCM_API void scm_floor_divide (SCM x, SCM y, SCM *q, SCM *r); |
185 | SCM_API SCM scm_floor_quotient (SCM x, SCM y); | |
186 | SCM_API SCM scm_floor_remainder (SCM x, SCM y); | |
187 | SCM_API void scm_ceiling_divide (SCM x, SCM y, SCM *q, SCM *r); | |
188 | SCM_API SCM scm_ceiling_quotient (SCM x, SCM y); | |
189 | SCM_API SCM scm_ceiling_remainder (SCM x, SCM y); | |
190 | SCM_API void scm_truncate_divide (SCM x, SCM y, SCM *q, SCM *r); | |
191 | SCM_API SCM scm_truncate_quotient (SCM x, SCM y); | |
192 | SCM_API SCM scm_truncate_remainder (SCM x, SCM y); | |
5fbf680b | 193 | SCM_API void scm_centered_divide (SCM x, SCM y, SCM *q, SCM *r); |
ff62c168 MW |
194 | SCM_API SCM scm_centered_quotient (SCM x, SCM y); |
195 | SCM_API SCM scm_centered_remainder (SCM x, SCM y); | |
8f9da340 MW |
196 | SCM_API void scm_round_divide (SCM x, SCM y, SCM *q, SCM *r); |
197 | SCM_API SCM scm_round_quotient (SCM x, SCM y); | |
198 | SCM_API SCM scm_round_remainder (SCM x, SCM y); | |
33b001fd MV |
199 | SCM_API SCM scm_gcd (SCM x, SCM y); |
200 | SCM_API SCM scm_lcm (SCM n1, SCM n2); | |
201 | SCM_API SCM scm_logand (SCM n1, SCM n2); | |
202 | SCM_API SCM scm_logior (SCM n1, SCM n2); | |
203 | SCM_API SCM scm_logxor (SCM n1, SCM n2); | |
204 | SCM_API SCM scm_logtest (SCM n1, SCM n2); | |
205 | SCM_API SCM scm_logbit_p (SCM n1, SCM n2); | |
206 | SCM_API SCM scm_lognot (SCM n); | |
d885e204 | 207 | SCM_API SCM scm_modulo_expt (SCM n, SCM k, SCM m); |
33b001fd | 208 | SCM_API SCM scm_integer_expt (SCM z1, SCM z2); |
e08a12b5 MW |
209 | SCM_API SCM scm_ash (SCM n, SCM count); |
210 | SCM_API SCM scm_round_ash (SCM n, SCM count); | |
33b001fd MV |
211 | SCM_API SCM scm_bit_extract (SCM n, SCM start, SCM end); |
212 | SCM_API SCM scm_logcount (SCM n); | |
213 | SCM_API SCM scm_integer_length (SCM n); | |
1be6b49c | 214 | |
5fbf680b | 215 | SCM_INTERNAL SCM scm_i_euclidean_divide (SCM x, SCM y); |
8f9da340 MW |
216 | SCM_INTERNAL SCM scm_i_floor_divide (SCM x, SCM y); |
217 | SCM_INTERNAL SCM scm_i_ceiling_divide (SCM x, SCM y); | |
218 | SCM_INTERNAL SCM scm_i_truncate_divide (SCM x, SCM y); | |
5fbf680b | 219 | SCM_INTERNAL SCM scm_i_centered_divide (SCM x, SCM y); |
8f9da340 | 220 | SCM_INTERNAL SCM scm_i_round_divide (SCM x, SCM y); |
5fbf680b | 221 | |
78d3deb1 AW |
222 | SCM_INTERNAL SCM scm_i_gcd (SCM x, SCM y, SCM rest); |
223 | SCM_INTERNAL SCM scm_i_lcm (SCM x, SCM y, SCM rest); | |
224 | SCM_INTERNAL SCM scm_i_logand (SCM x, SCM y, SCM rest); | |
225 | SCM_INTERNAL SCM scm_i_logior (SCM x, SCM y, SCM rest); | |
226 | SCM_INTERNAL SCM scm_i_logxor (SCM x, SCM y, SCM rest); | |
227 | ||
2881e77b MV |
228 | SCM_API size_t scm_iint2str (scm_t_intmax num, int rad, char *p); |
229 | SCM_API size_t scm_iuint2str (scm_t_uintmax num, int rad, char *p); | |
33b001fd MV |
230 | SCM_API SCM scm_number_to_string (SCM x, SCM radix); |
231 | SCM_API int scm_print_real (SCM sexp, SCM port, scm_print_state *pstate); | |
232 | SCM_API int scm_print_complex (SCM sexp, SCM port, scm_print_state *pstate); | |
233 | SCM_API int scm_bigprint (SCM exp, SCM port, scm_print_state *pstate); | |
2b829bbb KR |
234 | SCM_API SCM scm_c_locale_stringn_to_number (const char *mem, size_t len, |
235 | unsigned int radix); | |
3f47e526 | 236 | SCM_INTERNAL SCM scm_i_string_to_number (SCM str, unsigned int radix); |
33b001fd | 237 | SCM_API SCM scm_string_to_number (SCM str, SCM radix); |
33b001fd MV |
238 | SCM_API SCM scm_bigequal (SCM x, SCM y); |
239 | SCM_API SCM scm_real_equalp (SCM x, SCM y); | |
240 | SCM_API SCM scm_complex_equalp (SCM x, SCM y); | |
241 | SCM_API SCM scm_number_p (SCM x); | |
8507ec80 | 242 | SCM_API SCM scm_complex_p (SCM x); |
33b001fd | 243 | SCM_API SCM scm_real_p (SCM x); |
8507ec80 | 244 | SCM_API SCM scm_rational_p (SCM z); |
33b001fd MV |
245 | SCM_API SCM scm_integer_p (SCM x); |
246 | SCM_API SCM scm_inexact_p (SCM x); | |
022dda69 | 247 | SCM_API int scm_is_inexact (SCM x); |
33b001fd MV |
248 | SCM_API SCM scm_num_eq_p (SCM x, SCM y); |
249 | SCM_API SCM scm_less_p (SCM x, SCM y); | |
250 | SCM_API SCM scm_gr_p (SCM x, SCM y); | |
251 | SCM_API SCM scm_leq_p (SCM x, SCM y); | |
252 | SCM_API SCM scm_geq_p (SCM x, SCM y); | |
253 | SCM_API SCM scm_zero_p (SCM z); | |
254 | SCM_API SCM scm_positive_p (SCM x); | |
255 | SCM_API SCM scm_negative_p (SCM x); | |
256 | SCM_API SCM scm_max (SCM x, SCM y); | |
257 | SCM_API SCM scm_min (SCM x, SCM y); | |
258 | SCM_API SCM scm_sum (SCM x, SCM y); | |
40882e3d | 259 | SCM_API SCM scm_oneplus (SCM x); |
33b001fd | 260 | SCM_API SCM scm_difference (SCM x, SCM y); |
40882e3d | 261 | SCM_API SCM scm_oneminus (SCM x); |
33b001fd | 262 | SCM_API SCM scm_product (SCM x, SCM y); |
33b001fd | 263 | SCM_API SCM scm_divide (SCM x, SCM y); |
f92e85f7 MV |
264 | SCM_API SCM scm_floor (SCM x); |
265 | SCM_API SCM scm_ceiling (SCM x); | |
3101f40f MV |
266 | SCM_API double scm_c_truncate (double x); |
267 | SCM_API double scm_c_round (double x); | |
f92e85f7 MV |
268 | SCM_API SCM scm_truncate_number (SCM x); |
269 | SCM_API SCM scm_round_number (SCM x); | |
6fc4d012 | 270 | SCM_API SCM scm_expt (SCM z1, SCM z2); |
ad79736c AW |
271 | SCM_API SCM scm_sin (SCM z); |
272 | SCM_API SCM scm_cos (SCM z); | |
273 | SCM_API SCM scm_tan (SCM z); | |
274 | SCM_API SCM scm_sinh (SCM z); | |
275 | SCM_API SCM scm_cosh (SCM z); | |
276 | SCM_API SCM scm_tanh (SCM z); | |
277 | SCM_API SCM scm_asin (SCM z); | |
278 | SCM_API SCM scm_acos (SCM z); | |
279 | SCM_API SCM scm_atan (SCM x, SCM y); | |
280 | SCM_API SCM scm_sys_asinh (SCM z); | |
281 | SCM_API SCM scm_sys_acosh (SCM z); | |
282 | SCM_API SCM scm_sys_atanh (SCM z); | |
33b001fd MV |
283 | SCM_API SCM scm_make_rectangular (SCM z1, SCM z2); |
284 | SCM_API SCM scm_make_polar (SCM z1, SCM z2); | |
285 | SCM_API SCM scm_real_part (SCM z); | |
286 | SCM_API SCM scm_imag_part (SCM z); | |
287 | SCM_API SCM scm_magnitude (SCM z); | |
288 | SCM_API SCM scm_angle (SCM z); | |
289 | SCM_API SCM scm_exact_to_inexact (SCM z); | |
290 | SCM_API SCM scm_inexact_to_exact (SCM z); | |
291 | SCM_API SCM scm_trunc (SCM x); | |
8ab3d8a0 KR |
292 | SCM_API SCM scm_log (SCM z); |
293 | SCM_API SCM scm_log10 (SCM z); | |
294 | SCM_API SCM scm_exp (SCM z); | |
295 | SCM_API SCM scm_sqrt (SCM z); | |
882c8963 | 296 | SCM_API void scm_exact_integer_sqrt (SCM k, SCM *s, SCM *r); |
33b001fd | 297 | |
78d3deb1 AW |
298 | SCM_INTERNAL SCM scm_i_min (SCM x, SCM y, SCM rest); |
299 | SCM_INTERNAL SCM scm_i_max (SCM x, SCM y, SCM rest); | |
300 | SCM_INTERNAL SCM scm_i_sum (SCM x, SCM y, SCM rest); | |
301 | SCM_INTERNAL SCM scm_i_difference (SCM x, SCM y, SCM rest); | |
302 | SCM_INTERNAL SCM scm_i_product (SCM x, SCM y, SCM rest); | |
303 | SCM_INTERNAL SCM scm_i_divide (SCM x, SCM y, SCM rest); | |
882c8963 | 304 | SCM_INTERNAL SCM scm_i_exact_integer_sqrt (SCM k); |
78d3deb1 | 305 | |
d3e7e88d | 306 | /* bignum internal functions */ |
102dbb6f LC |
307 | SCM_INTERNAL SCM scm_i_mkbig (void); |
308 | SCM_API /* FIXME: not internal */ SCM scm_i_normbig (SCM x); | |
309 | SCM_INTERNAL int scm_i_bigcmp (SCM a, SCM b); | |
310 | SCM_INTERNAL SCM scm_i_dbl2big (double d); | |
311 | SCM_INTERNAL SCM scm_i_dbl2num (double d); | |
312 | SCM_API /* FIXME: not internal */ double scm_i_big2dbl (SCM b); | |
313 | SCM_API /* FIXME: not internal */ SCM scm_i_long2big (long n); | |
314 | SCM_API /* FIXME: not internal */ SCM scm_i_ulong2big (unsigned long n); | |
315 | SCM_API /* FIXME: not internal */ SCM scm_i_clonebig (SCM src_big, int same_sign_p); | |
d3e7e88d | 316 | |
f92e85f7 | 317 | /* ratio functions */ |
f92e85f7 MV |
318 | SCM_API SCM scm_rationalize (SCM x, SCM err); |
319 | SCM_API SCM scm_numerator (SCM z); | |
320 | SCM_API SCM scm_denominator (SCM z); | |
f92e85f7 MV |
321 | |
322 | /* fraction internal functions */ | |
102dbb6f LC |
323 | SCM_INTERNAL double scm_i_fraction2double (SCM z); |
324 | SCM_INTERNAL SCM scm_i_fraction_equalp (SCM x, SCM y); | |
325 | SCM_INTERNAL int scm_i_print_fraction (SCM sexp, SCM port, scm_print_state *pstate); | |
f92e85f7 | 326 | |
b479fe9a | 327 | /* general internal functions */ |
102dbb6f LC |
328 | SCM_INTERNAL void scm_i_print_double (double val, SCM port); |
329 | SCM_INTERNAL void scm_i_print_complex (double real, double imag, SCM port); | |
b479fe9a | 330 | |
d1b5b400 | 331 | /* conversion functions for integers */ |
73e4de09 MV |
332 | |
333 | SCM_API int scm_is_integer (SCM val); | |
334 | SCM_API int scm_is_signed_integer (SCM val, | |
335 | scm_t_intmax min, scm_t_intmax max); | |
336 | SCM_API int scm_is_unsigned_integer (SCM val, | |
337 | scm_t_uintmax min, scm_t_uintmax max); | |
338 | ||
339 | SCM_API SCM scm_from_signed_integer (scm_t_intmax val); | |
340 | SCM_API SCM scm_from_unsigned_integer (scm_t_uintmax val); | |
341 | ||
342 | SCM_API scm_t_intmax scm_to_signed_integer (SCM val, | |
343 | scm_t_intmax min, | |
344 | scm_t_intmax max); | |
345 | SCM_API scm_t_uintmax scm_to_unsigned_integer (SCM val, | |
346 | scm_t_uintmax min, | |
347 | scm_t_uintmax max); | |
348 | ||
bfd7932e MV |
349 | SCM_API scm_t_int8 scm_to_int8 (SCM x); |
350 | SCM_API SCM scm_from_int8 (scm_t_int8 x); | |
351 | ||
352 | SCM_API scm_t_uint8 scm_to_uint8 (SCM x); | |
353 | SCM_API SCM scm_from_uint8 (scm_t_uint8 x); | |
354 | ||
355 | SCM_API scm_t_int16 scm_to_int16 (SCM x); | |
356 | SCM_API SCM scm_from_int16 (scm_t_int16 x); | |
357 | ||
358 | SCM_API scm_t_uint16 scm_to_uint16 (SCM x); | |
359 | SCM_API SCM scm_from_uint16 (scm_t_uint16 x); | |
360 | ||
361 | SCM_API scm_t_int32 scm_to_int32 (SCM x); | |
362 | SCM_API SCM scm_from_int32 (scm_t_int32 x); | |
363 | ||
364 | SCM_API scm_t_uint32 scm_to_uint32 (SCM x); | |
365 | SCM_API SCM scm_from_uint32 (scm_t_uint32 x); | |
366 | ||
904a78f1 MG |
367 | SCM_API scm_t_wchar scm_to_wchar (SCM x); |
368 | SCM_API SCM scm_from_wchar (scm_t_wchar x); | |
369 | ||
bfd7932e MV |
370 | SCM_API scm_t_int64 scm_to_int64 (SCM x); |
371 | SCM_API SCM scm_from_int64 (scm_t_int64 x); | |
372 | ||
373 | SCM_API scm_t_uint64 scm_to_uint64 (SCM x); | |
374 | SCM_API SCM scm_from_uint64 (scm_t_uint64 x); | |
375 | ||
cd036260 MV |
376 | SCM_API void scm_to_mpz (SCM x, mpz_t rop); |
377 | SCM_API SCM scm_from_mpz (mpz_t rop); | |
378 | ||
379 | ||
d1b5b400 MV |
380 | /* The conversion functions for other types are aliased to the |
381 | appropriate ones from above. We pick the right one based on the | |
382 | size of the type. | |
383 | ||
384 | Not each and every possibility is covered by the code below, and | |
385 | while it is trivial to complete the tests, it might be better to | |
386 | just test for the 'sane' possibilities. When one of the tests | |
387 | below fails, chances are good that some silent assumption somewhere | |
388 | else will also fail. | |
389 | */ | |
390 | ||
391 | #if SCM_SIZEOF_CHAR == 1 | |
392 | #define scm_to_schar scm_to_int8 | |
393 | #define scm_from_schar scm_from_int8 | |
394 | #define scm_to_uchar scm_to_uint8 | |
395 | #define scm_from_uchar scm_from_uint8 | |
73e4de09 | 396 | #if CHAR_MIN == 0 |
d1b5b400 MV |
397 | #define scm_to_char scm_to_uint8 |
398 | #define scm_from_char scm_from_uint8 | |
73e4de09 | 399 | #else |
d1b5b400 MV |
400 | #define scm_to_char scm_to_int8 |
401 | #define scm_from_char scm_from_int8 | |
73e4de09 | 402 | #endif |
d1b5b400 MV |
403 | #else |
404 | #error sizeof(char) is not 1. | |
22008a78 MV |
405 | #endif |
406 | ||
d1b5b400 MV |
407 | #if SCM_SIZEOF_SHORT == 1 |
408 | #define scm_to_short scm_to_int8 | |
409 | #define scm_from_short scm_from_int8 | |
410 | #define scm_to_ushort scm_to_uint8 | |
411 | #define scm_from_ushort scm_from_uint8 | |
412 | #else | |
413 | #if SCM_SIZEOF_SHORT == 2 | |
414 | #define scm_to_short scm_to_int16 | |
415 | #define scm_from_short scm_from_int16 | |
416 | #define scm_to_ushort scm_to_uint16 | |
417 | #define scm_from_ushort scm_from_uint16 | |
418 | #else | |
419 | #if SCM_SIZEOF_SHORT == 4 | |
420 | #define scm_to_short scm_to_int32 | |
421 | #define scm_from_short scm_from_int32 | |
422 | #define scm_to_ushort scm_to_uint32 | |
423 | #define scm_from_ushort scm_from_uint32 | |
73e4de09 | 424 | #else |
d1b5b400 MV |
425 | #error sizeof(short) is not 1, 2, or 4. |
426 | #endif | |
427 | #endif | |
73e4de09 MV |
428 | #endif |
429 | ||
d1b5b400 MV |
430 | #if SCM_SIZEOF_INT == 4 |
431 | #define scm_to_int scm_to_int32 | |
432 | #define scm_from_int scm_from_int32 | |
433 | #define scm_to_uint scm_to_uint32 | |
434 | #define scm_from_uint scm_from_uint32 | |
435 | #else | |
436 | #if SCM_SIZEOF_INT == 8 | |
437 | #define scm_to_int scm_to_int64 | |
438 | #define scm_from_int scm_from_int64 | |
439 | #define scm_to_uint scm_to_uint64 | |
440 | #define scm_from_uint scm_from_uint64 | |
441 | #else | |
442 | #error sizeof(int) is not 4 or 8. | |
443 | #endif | |
444 | #endif | |
73e4de09 | 445 | |
d1b5b400 MV |
446 | #if SCM_SIZEOF_LONG == 4 |
447 | #define scm_to_long scm_to_int32 | |
448 | #define scm_from_long scm_from_int32 | |
449 | #define scm_to_ulong scm_to_uint32 | |
450 | #define scm_from_ulong scm_from_uint32 | |
451 | #else | |
452 | #if SCM_SIZEOF_LONG == 8 | |
453 | #define scm_to_long scm_to_int64 | |
454 | #define scm_from_long scm_from_int64 | |
455 | #define scm_to_ulong scm_to_uint64 | |
456 | #define scm_from_ulong scm_from_uint64 | |
457 | #else | |
458 | #error sizeof(long) is not 4 or 8. | |
459 | #endif | |
460 | #endif | |
73e4de09 | 461 | |
d1b5b400 MV |
462 | #if SCM_SIZEOF_INTMAX == 4 |
463 | #define scm_to_intmax scm_to_int32 | |
464 | #define scm_from_intmax scm_from_int32 | |
465 | #define scm_to_uintmax scm_to_uint32 | |
466 | #define scm_from_uintmax scm_from_uint32 | |
467 | #else | |
468 | #if SCM_SIZEOF_INTMAX == 8 | |
469 | #define scm_to_intmax scm_to_int64 | |
470 | #define scm_from_intmax scm_from_int64 | |
471 | #define scm_to_uintmax scm_to_uint64 | |
472 | #define scm_from_uintmax scm_from_uint64 | |
473 | #else | |
55f26379 | 474 | #error sizeof(scm_t_intmax) is not 4 or 8. |
d1b5b400 MV |
475 | #endif |
476 | #endif | |
73e4de09 | 477 | |
d1b5b400 MV |
478 | #if SCM_SIZEOF_LONG_LONG == 0 |
479 | #else | |
480 | #if SCM_SIZEOF_LONG_LONG == 8 | |
481 | #define scm_to_long_long scm_to_int64 | |
482 | #define scm_from_long_long scm_from_int64 | |
483 | #define scm_to_ulong_long scm_to_uint64 | |
484 | #define scm_from_ulong_long scm_from_uint64 | |
485 | #else | |
486 | #error sizeof(long long) is not 8. | |
487 | #endif | |
488 | #endif | |
73e4de09 | 489 | |
d1b5b400 MV |
490 | #if SCM_SIZEOF_SIZE_T == 4 |
491 | #define scm_to_ssize_t scm_to_int32 | |
492 | #define scm_from_ssize_t scm_from_int32 | |
493 | #define scm_to_size_t scm_to_uint32 | |
494 | #define scm_from_size_t scm_from_uint32 | |
495 | #else | |
496 | #if SCM_SIZEOF_SIZE_T == 8 | |
497 | #define scm_to_ssize_t scm_to_int64 | |
498 | #define scm_from_ssize_t scm_from_int64 | |
499 | #define scm_to_size_t scm_to_uint64 | |
500 | #define scm_from_size_t scm_from_uint64 | |
501 | #else | |
502 | #error sizeof(size_t) is not 4 or 8. | |
503 | #endif | |
22008a78 MV |
504 | #endif |
505 | ||
7facc08a MW |
506 | #if SCM_SIZEOF_SCM_T_PTRDIFF == 4 |
507 | #define scm_to_ptrdiff_t scm_to_int32 | |
508 | #define scm_from_ptrdiff_t scm_from_int32 | |
509 | #else | |
510 | #if SCM_SIZEOF_SCM_T_PTRDIFF == 8 | |
511 | #define scm_to_ptrdiff_t scm_to_int64 | |
512 | #define scm_from_ptrdiff_t scm_from_int64 | |
513 | #else | |
514 | #error sizeof(scm_t_ptrdiff) is not 4 or 8. | |
515 | #endif | |
516 | #endif | |
517 | ||
8507ec80 | 518 | /* conversion functions for double */ |
22008a78 | 519 | |
73e4de09 | 520 | SCM_API int scm_is_real (SCM val); |
55f26379 | 521 | SCM_API int scm_is_rational (SCM val); |
73e4de09 MV |
522 | SCM_API double scm_to_double (SCM val); |
523 | SCM_API SCM scm_from_double (double val); | |
524 | ||
8507ec80 MV |
525 | /* conversion functions for complex */ |
526 | ||
527 | SCM_API int scm_is_complex (SCM val); | |
528 | SCM_API SCM scm_c_make_rectangular (double re, double im); | |
529 | SCM_API SCM scm_c_make_polar (double mag, double ang); | |
530 | SCM_API double scm_c_real_part (SCM z); | |
531 | SCM_API double scm_c_imag_part (SCM z); | |
532 | SCM_API double scm_c_magnitude (SCM z); | |
533 | SCM_API double scm_c_angle (SCM z); | |
534 | ||
535 | SCM_API int scm_is_number (SCM val); | |
536 | ||
b57bf272 AW |
537 | /* If nonzero, tell gmp to use GC_malloc for its allocations. */ |
538 | SCM_API int scm_install_gmp_memory_functions; | |
539 | ||
102dbb6f | 540 | SCM_INTERNAL void scm_init_numbers (void); |
0f2d19dd | 541 | |
3c9a524f | 542 | #endif /* SCM_NUMBERS_H */ |
89e00824 ML |
543 | |
544 | /* | |
545 | Local Variables: | |
546 | c-file-style: "gnu" | |
547 | End: | |
548 | */ |