Document SCM_ASSERT_TYPE and SCM_ASRTGO macros
[bpt/guile.git] / libguile / numbers.h
CommitLineData
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
32typedef 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 149typedef 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 156typedef 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
MV
167SCM_API SCM scm_exact_p (SCM x);
168SCM_API SCM scm_odd_p (SCM n);
169SCM_API SCM scm_even_p (SCM n);
2519490c
MW
170SCM_API SCM scm_finite_p (SCM x);
171SCM_API SCM scm_inf_p (SCM x);
172SCM_API SCM scm_nan_p (SCM x);
232898d9
MV
173SCM_API SCM scm_inf (void);
174SCM_API SCM scm_nan (void);
33b001fd
MV
175SCM_API SCM scm_abs (SCM x);
176SCM_API SCM scm_quotient (SCM x, SCM y);
177SCM_API SCM scm_remainder (SCM x, SCM y);
178SCM_API SCM scm_modulo (SCM x, SCM y);
5fbf680b 179SCM_API void scm_euclidean_divide (SCM x, SCM y, SCM *q, SCM *r);
ff62c168
MW
180SCM_API SCM scm_euclidean_quotient (SCM x, SCM y);
181SCM_API SCM scm_euclidean_remainder (SCM x, SCM y);
8f9da340
MW
182SCM_API void scm_floor_divide (SCM x, SCM y, SCM *q, SCM *r);
183SCM_API SCM scm_floor_quotient (SCM x, SCM y);
184SCM_API SCM scm_floor_remainder (SCM x, SCM y);
185SCM_API void scm_ceiling_divide (SCM x, SCM y, SCM *q, SCM *r);
186SCM_API SCM scm_ceiling_quotient (SCM x, SCM y);
187SCM_API SCM scm_ceiling_remainder (SCM x, SCM y);
188SCM_API void scm_truncate_divide (SCM x, SCM y, SCM *q, SCM *r);
189SCM_API SCM scm_truncate_quotient (SCM x, SCM y);
190SCM_API SCM scm_truncate_remainder (SCM x, SCM y);
5fbf680b 191SCM_API void scm_centered_divide (SCM x, SCM y, SCM *q, SCM *r);
ff62c168
MW
192SCM_API SCM scm_centered_quotient (SCM x, SCM y);
193SCM_API SCM scm_centered_remainder (SCM x, SCM y);
8f9da340
MW
194SCM_API void scm_round_divide (SCM x, SCM y, SCM *q, SCM *r);
195SCM_API SCM scm_round_quotient (SCM x, SCM y);
196SCM_API SCM scm_round_remainder (SCM x, SCM y);
33b001fd
MV
197SCM_API SCM scm_gcd (SCM x, SCM y);
198SCM_API SCM scm_lcm (SCM n1, SCM n2);
199SCM_API SCM scm_logand (SCM n1, SCM n2);
200SCM_API SCM scm_logior (SCM n1, SCM n2);
201SCM_API SCM scm_logxor (SCM n1, SCM n2);
202SCM_API SCM scm_logtest (SCM n1, SCM n2);
203SCM_API SCM scm_logbit_p (SCM n1, SCM n2);
204SCM_API SCM scm_lognot (SCM n);
d885e204 205SCM_API SCM scm_modulo_expt (SCM n, SCM k, SCM m);
33b001fd
MV
206SCM_API SCM scm_integer_expt (SCM z1, SCM z2);
207SCM_API SCM scm_ash (SCM n, SCM cnt);
208SCM_API SCM scm_bit_extract (SCM n, SCM start, SCM end);
209SCM_API SCM scm_logcount (SCM n);
210SCM_API SCM scm_integer_length (SCM n);
1be6b49c 211
5fbf680b 212SCM_INTERNAL SCM scm_i_euclidean_divide (SCM x, SCM y);
8f9da340
MW
213SCM_INTERNAL SCM scm_i_floor_divide (SCM x, SCM y);
214SCM_INTERNAL SCM scm_i_ceiling_divide (SCM x, SCM y);
215SCM_INTERNAL SCM scm_i_truncate_divide (SCM x, SCM y);
5fbf680b 216SCM_INTERNAL SCM scm_i_centered_divide (SCM x, SCM y);
8f9da340 217SCM_INTERNAL SCM scm_i_round_divide (SCM x, SCM y);
5fbf680b 218
78d3deb1
AW
219SCM_INTERNAL SCM scm_i_gcd (SCM x, SCM y, SCM rest);
220SCM_INTERNAL SCM scm_i_lcm (SCM x, SCM y, SCM rest);
221SCM_INTERNAL SCM scm_i_logand (SCM x, SCM y, SCM rest);
222SCM_INTERNAL SCM scm_i_logior (SCM x, SCM y, SCM rest);
223SCM_INTERNAL SCM scm_i_logxor (SCM x, SCM y, SCM rest);
224
2881e77b
MV
225SCM_API size_t scm_iint2str (scm_t_intmax num, int rad, char *p);
226SCM_API size_t scm_iuint2str (scm_t_uintmax num, int rad, char *p);
33b001fd
MV
227SCM_API SCM scm_number_to_string (SCM x, SCM radix);
228SCM_API int scm_print_real (SCM sexp, SCM port, scm_print_state *pstate);
229SCM_API int scm_print_complex (SCM sexp, SCM port, scm_print_state *pstate);
230SCM_API int scm_bigprint (SCM exp, SCM port, scm_print_state *pstate);
2b829bbb
KR
231SCM_API SCM scm_c_locale_stringn_to_number (const char *mem, size_t len,
232 unsigned int radix);
3f47e526 233SCM_INTERNAL SCM scm_i_string_to_number (SCM str, unsigned int radix);
33b001fd 234SCM_API SCM scm_string_to_number (SCM str, SCM radix);
33b001fd
MV
235SCM_API SCM scm_bigequal (SCM x, SCM y);
236SCM_API SCM scm_real_equalp (SCM x, SCM y);
237SCM_API SCM scm_complex_equalp (SCM x, SCM y);
238SCM_API SCM scm_number_p (SCM x);
8507ec80 239SCM_API SCM scm_complex_p (SCM x);
33b001fd 240SCM_API SCM scm_real_p (SCM x);
8507ec80 241SCM_API SCM scm_rational_p (SCM z);
33b001fd
MV
242SCM_API SCM scm_integer_p (SCM x);
243SCM_API SCM scm_inexact_p (SCM x);
244SCM_API SCM scm_num_eq_p (SCM x, SCM y);
245SCM_API SCM scm_less_p (SCM x, SCM y);
246SCM_API SCM scm_gr_p (SCM x, SCM y);
247SCM_API SCM scm_leq_p (SCM x, SCM y);
248SCM_API SCM scm_geq_p (SCM x, SCM y);
249SCM_API SCM scm_zero_p (SCM z);
250SCM_API SCM scm_positive_p (SCM x);
251SCM_API SCM scm_negative_p (SCM x);
252SCM_API SCM scm_max (SCM x, SCM y);
253SCM_API SCM scm_min (SCM x, SCM y);
254SCM_API SCM scm_sum (SCM x, SCM y);
40882e3d 255SCM_API SCM scm_oneplus (SCM x);
33b001fd 256SCM_API SCM scm_difference (SCM x, SCM y);
40882e3d 257SCM_API SCM scm_oneminus (SCM x);
33b001fd 258SCM_API SCM scm_product (SCM x, SCM y);
33b001fd 259SCM_API SCM scm_divide (SCM x, SCM y);
f92e85f7
MV
260SCM_API SCM scm_floor (SCM x);
261SCM_API SCM scm_ceiling (SCM x);
3101f40f
MV
262SCM_API double scm_c_truncate (double x);
263SCM_API double scm_c_round (double x);
f92e85f7
MV
264SCM_API SCM scm_truncate_number (SCM x);
265SCM_API SCM scm_round_number (SCM x);
6fc4d012 266SCM_API SCM scm_expt (SCM z1, SCM z2);
ad79736c
AW
267SCM_API SCM scm_sin (SCM z);
268SCM_API SCM scm_cos (SCM z);
269SCM_API SCM scm_tan (SCM z);
270SCM_API SCM scm_sinh (SCM z);
271SCM_API SCM scm_cosh (SCM z);
272SCM_API SCM scm_tanh (SCM z);
273SCM_API SCM scm_asin (SCM z);
274SCM_API SCM scm_acos (SCM z);
275SCM_API SCM scm_atan (SCM x, SCM y);
276SCM_API SCM scm_sys_asinh (SCM z);
277SCM_API SCM scm_sys_acosh (SCM z);
278SCM_API SCM scm_sys_atanh (SCM z);
33b001fd
MV
279SCM_API SCM scm_make_rectangular (SCM z1, SCM z2);
280SCM_API SCM scm_make_polar (SCM z1, SCM z2);
281SCM_API SCM scm_real_part (SCM z);
282SCM_API SCM scm_imag_part (SCM z);
283SCM_API SCM scm_magnitude (SCM z);
284SCM_API SCM scm_angle (SCM z);
285SCM_API SCM scm_exact_to_inexact (SCM z);
286SCM_API SCM scm_inexact_to_exact (SCM z);
287SCM_API SCM scm_trunc (SCM x);
8ab3d8a0
KR
288SCM_API SCM scm_log (SCM z);
289SCM_API SCM scm_log10 (SCM z);
290SCM_API SCM scm_exp (SCM z);
291SCM_API SCM scm_sqrt (SCM z);
882c8963 292SCM_API void scm_exact_integer_sqrt (SCM k, SCM *s, SCM *r);
33b001fd 293
78d3deb1
AW
294SCM_INTERNAL SCM scm_i_min (SCM x, SCM y, SCM rest);
295SCM_INTERNAL SCM scm_i_max (SCM x, SCM y, SCM rest);
296SCM_INTERNAL SCM scm_i_sum (SCM x, SCM y, SCM rest);
297SCM_INTERNAL SCM scm_i_difference (SCM x, SCM y, SCM rest);
298SCM_INTERNAL SCM scm_i_product (SCM x, SCM y, SCM rest);
299SCM_INTERNAL SCM scm_i_divide (SCM x, SCM y, SCM rest);
882c8963 300SCM_INTERNAL SCM scm_i_exact_integer_sqrt (SCM k);
78d3deb1 301
d3e7e88d 302/* bignum internal functions */
102dbb6f
LC
303SCM_INTERNAL SCM scm_i_mkbig (void);
304SCM_API /* FIXME: not internal */ SCM scm_i_normbig (SCM x);
305SCM_INTERNAL int scm_i_bigcmp (SCM a, SCM b);
306SCM_INTERNAL SCM scm_i_dbl2big (double d);
307SCM_INTERNAL SCM scm_i_dbl2num (double d);
308SCM_API /* FIXME: not internal */ double scm_i_big2dbl (SCM b);
309SCM_API /* FIXME: not internal */ SCM scm_i_long2big (long n);
310SCM_API /* FIXME: not internal */ SCM scm_i_ulong2big (unsigned long n);
311SCM_API /* FIXME: not internal */ SCM scm_i_clonebig (SCM src_big, int same_sign_p);
d3e7e88d 312
f92e85f7 313/* ratio functions */
f92e85f7
MV
314SCM_API SCM scm_rationalize (SCM x, SCM err);
315SCM_API SCM scm_numerator (SCM z);
316SCM_API SCM scm_denominator (SCM z);
f92e85f7
MV
317
318/* fraction internal functions */
102dbb6f
LC
319SCM_INTERNAL double scm_i_fraction2double (SCM z);
320SCM_INTERNAL SCM scm_i_fraction_equalp (SCM x, SCM y);
321SCM_INTERNAL int scm_i_print_fraction (SCM sexp, SCM port, scm_print_state *pstate);
f92e85f7 322
b479fe9a 323/* general internal functions */
102dbb6f
LC
324SCM_INTERNAL void scm_i_print_double (double val, SCM port);
325SCM_INTERNAL void scm_i_print_complex (double real, double imag, SCM port);
b479fe9a 326
d1b5b400 327/* conversion functions for integers */
73e4de09
MV
328
329SCM_API int scm_is_integer (SCM val);
330SCM_API int scm_is_signed_integer (SCM val,
331 scm_t_intmax min, scm_t_intmax max);
332SCM_API int scm_is_unsigned_integer (SCM val,
333 scm_t_uintmax min, scm_t_uintmax max);
334
335SCM_API SCM scm_from_signed_integer (scm_t_intmax val);
336SCM_API SCM scm_from_unsigned_integer (scm_t_uintmax val);
337
338SCM_API scm_t_intmax scm_to_signed_integer (SCM val,
339 scm_t_intmax min,
340 scm_t_intmax max);
341SCM_API scm_t_uintmax scm_to_unsigned_integer (SCM val,
342 scm_t_uintmax min,
343 scm_t_uintmax max);
344
bfd7932e
MV
345SCM_API scm_t_int8 scm_to_int8 (SCM x);
346SCM_API SCM scm_from_int8 (scm_t_int8 x);
347
348SCM_API scm_t_uint8 scm_to_uint8 (SCM x);
349SCM_API SCM scm_from_uint8 (scm_t_uint8 x);
350
351SCM_API scm_t_int16 scm_to_int16 (SCM x);
352SCM_API SCM scm_from_int16 (scm_t_int16 x);
353
354SCM_API scm_t_uint16 scm_to_uint16 (SCM x);
355SCM_API SCM scm_from_uint16 (scm_t_uint16 x);
356
357SCM_API scm_t_int32 scm_to_int32 (SCM x);
358SCM_API SCM scm_from_int32 (scm_t_int32 x);
359
360SCM_API scm_t_uint32 scm_to_uint32 (SCM x);
361SCM_API SCM scm_from_uint32 (scm_t_uint32 x);
362
904a78f1
MG
363SCM_API scm_t_wchar scm_to_wchar (SCM x);
364SCM_API SCM scm_from_wchar (scm_t_wchar x);
365
bfd7932e
MV
366SCM_API scm_t_int64 scm_to_int64 (SCM x);
367SCM_API SCM scm_from_int64 (scm_t_int64 x);
368
369SCM_API scm_t_uint64 scm_to_uint64 (SCM x);
370SCM_API SCM scm_from_uint64 (scm_t_uint64 x);
371
cd036260
MV
372SCM_API void scm_to_mpz (SCM x, mpz_t rop);
373SCM_API SCM scm_from_mpz (mpz_t rop);
374
375
d1b5b400
MV
376/* The conversion functions for other types are aliased to the
377 appropriate ones from above. We pick the right one based on the
378 size of the type.
379
380 Not each and every possibility is covered by the code below, and
381 while it is trivial to complete the tests, it might be better to
382 just test for the 'sane' possibilities. When one of the tests
383 below fails, chances are good that some silent assumption somewhere
384 else will also fail.
385*/
386
387#if SCM_SIZEOF_CHAR == 1
388#define scm_to_schar scm_to_int8
389#define scm_from_schar scm_from_int8
390#define scm_to_uchar scm_to_uint8
391#define scm_from_uchar scm_from_uint8
73e4de09 392#if CHAR_MIN == 0
d1b5b400
MV
393#define scm_to_char scm_to_uint8
394#define scm_from_char scm_from_uint8
73e4de09 395#else
d1b5b400
MV
396#define scm_to_char scm_to_int8
397#define scm_from_char scm_from_int8
73e4de09 398#endif
d1b5b400
MV
399#else
400#error sizeof(char) is not 1.
22008a78
MV
401#endif
402
d1b5b400
MV
403#if SCM_SIZEOF_SHORT == 1
404#define scm_to_short scm_to_int8
405#define scm_from_short scm_from_int8
406#define scm_to_ushort scm_to_uint8
407#define scm_from_ushort scm_from_uint8
408#else
409#if SCM_SIZEOF_SHORT == 2
410#define scm_to_short scm_to_int16
411#define scm_from_short scm_from_int16
412#define scm_to_ushort scm_to_uint16
413#define scm_from_ushort scm_from_uint16
414#else
415#if SCM_SIZEOF_SHORT == 4
416#define scm_to_short scm_to_int32
417#define scm_from_short scm_from_int32
418#define scm_to_ushort scm_to_uint32
419#define scm_from_ushort scm_from_uint32
73e4de09 420#else
d1b5b400
MV
421#error sizeof(short) is not 1, 2, or 4.
422#endif
423#endif
73e4de09
MV
424#endif
425
d1b5b400
MV
426#if SCM_SIZEOF_INT == 4
427#define scm_to_int scm_to_int32
428#define scm_from_int scm_from_int32
429#define scm_to_uint scm_to_uint32
430#define scm_from_uint scm_from_uint32
431#else
432#if SCM_SIZEOF_INT == 8
433#define scm_to_int scm_to_int64
434#define scm_from_int scm_from_int64
435#define scm_to_uint scm_to_uint64
436#define scm_from_uint scm_from_uint64
437#else
438#error sizeof(int) is not 4 or 8.
439#endif
440#endif
73e4de09 441
d1b5b400
MV
442#if SCM_SIZEOF_LONG == 4
443#define scm_to_long scm_to_int32
444#define scm_from_long scm_from_int32
445#define scm_to_ulong scm_to_uint32
446#define scm_from_ulong scm_from_uint32
447#else
448#if SCM_SIZEOF_LONG == 8
449#define scm_to_long scm_to_int64
450#define scm_from_long scm_from_int64
451#define scm_to_ulong scm_to_uint64
452#define scm_from_ulong scm_from_uint64
453#else
454#error sizeof(long) is not 4 or 8.
455#endif
456#endif
73e4de09 457
d1b5b400
MV
458#if SCM_SIZEOF_INTMAX == 4
459#define scm_to_intmax scm_to_int32
460#define scm_from_intmax scm_from_int32
461#define scm_to_uintmax scm_to_uint32
462#define scm_from_uintmax scm_from_uint32
463#else
464#if SCM_SIZEOF_INTMAX == 8
465#define scm_to_intmax scm_to_int64
466#define scm_from_intmax scm_from_int64
467#define scm_to_uintmax scm_to_uint64
468#define scm_from_uintmax scm_from_uint64
469#else
55f26379 470#error sizeof(scm_t_intmax) is not 4 or 8.
d1b5b400
MV
471#endif
472#endif
73e4de09 473
d1b5b400
MV
474#if SCM_SIZEOF_LONG_LONG == 0
475#else
476#if SCM_SIZEOF_LONG_LONG == 8
477#define scm_to_long_long scm_to_int64
478#define scm_from_long_long scm_from_int64
479#define scm_to_ulong_long scm_to_uint64
480#define scm_from_ulong_long scm_from_uint64
481#else
482#error sizeof(long long) is not 8.
483#endif
484#endif
73e4de09 485
d1b5b400
MV
486#if SCM_SIZEOF_SIZE_T == 4
487#define scm_to_ssize_t scm_to_int32
488#define scm_from_ssize_t scm_from_int32
489#define scm_to_size_t scm_to_uint32
490#define scm_from_size_t scm_from_uint32
491#else
492#if SCM_SIZEOF_SIZE_T == 8
493#define scm_to_ssize_t scm_to_int64
494#define scm_from_ssize_t scm_from_int64
495#define scm_to_size_t scm_to_uint64
496#define scm_from_size_t scm_from_uint64
497#else
498#error sizeof(size_t) is not 4 or 8.
499#endif
22008a78
MV
500#endif
501
8507ec80 502/* conversion functions for double */
22008a78 503
73e4de09 504SCM_API int scm_is_real (SCM val);
55f26379 505SCM_API int scm_is_rational (SCM val);
73e4de09
MV
506SCM_API double scm_to_double (SCM val);
507SCM_API SCM scm_from_double (double val);
508
8507ec80
MV
509/* conversion functions for complex */
510
511SCM_API int scm_is_complex (SCM val);
512SCM_API SCM scm_c_make_rectangular (double re, double im);
513SCM_API SCM scm_c_make_polar (double mag, double ang);
514SCM_API double scm_c_real_part (SCM z);
515SCM_API double scm_c_imag_part (SCM z);
516SCM_API double scm_c_magnitude (SCM z);
517SCM_API double scm_c_angle (SCM z);
518
519SCM_API int scm_is_number (SCM val);
520
102dbb6f 521SCM_INTERNAL void scm_init_numbers (void);
0f2d19dd 522
3c9a524f 523#endif /* SCM_NUMBERS_H */
89e00824
ML
524
525/*
526 Local Variables:
527 c-file-style: "gnu"
528 End:
529*/