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