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