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