numbers.h 23 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736
  1. #ifndef SCM_NUMBERS_H
  2. #define SCM_NUMBERS_H
  3. /* Copyright 1995-1996,1998,2000-2006,2008-2011,2013-2014,2016-2018,2021-2022
  4. Free Software Foundation, Inc.
  5. This file is part of Guile.
  6. Guile is free software: you can redistribute it and/or modify it
  7. under the terms of the GNU Lesser General Public License as published
  8. by the Free Software Foundation, either version 3 of the License, or
  9. (at your option) any later version.
  10. Guile is distributed in the hope that it will be useful, but WITHOUT
  11. ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  12. FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
  13. License for more details.
  14. You should have received a copy of the GNU Lesser General Public
  15. License along with Guile. If not, see
  16. <https://www.gnu.org/licenses/>. */
  17. #include "libguile/scmconfig.h"
  18. /* gmp.h needs to be included with C++ linkage, if including Guile
  19. headers from a C++ compiler. */
  20. #ifdef __cplusplus
  21. extern "C++" {
  22. #endif
  23. #if SCM_ENABLE_MINI_GMP
  24. #ifdef BUILDING_LIBGUILE
  25. #include "libguile/mini-gmp.h"
  26. #endif
  27. #else
  28. #include <gmp.h>
  29. #endif
  30. #ifdef __cplusplus
  31. }
  32. #endif
  33. #include "libguile/error.h"
  34. #include "libguile/gc.h"
  35. #include "libguile/print.h"
  36. /* Immediate Numbers, also known as fixnums
  37. *
  38. * Inums are exact integers that fit within an SCM word
  39. * (along with two tagging bits).
  40. *
  41. * In the current implementation, Inums must also fit within a long
  42. * because that's what GMP's mpz_*_si functions accept.
  43. *
  44. * When using mini-gmp, we use intptr_t instead.
  45. */
  46. #define SCM_I_FIXNUM_BIT (SCM_INTPTR_T_BIT - 2)
  47. #if !(__MINGW32__ && __x86_64__)
  48. #define SCM_MOST_NEGATIVE_FIXNUM (-1L << (SCM_I_FIXNUM_BIT - 1))
  49. #else /* __MINGW32__ && __x86_64__ */
  50. #define SCM_MOST_NEGATIVE_FIXNUM (-1LL << (SCM_I_FIXNUM_BIT - 1))
  51. #endif /* __MINGW32__ && __x86_64__ */
  52. #define SCM_MOST_POSITIVE_FIXNUM (- (SCM_MOST_NEGATIVE_FIXNUM + 1))
  53. /* SCM_SRS (X, Y) is signed right shift, defined as floor (X / 2^Y),
  54. where Y must be non-negative and less than the width in bits of X.
  55. It's common for >> to do this, but the C standards do not specify
  56. what happens when X is negative.
  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))
  60. #else
  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. /* The first implementation of SCM_I_INUM below depends on behavior that
  67. is specified by GNU C but not by C standards, namely that when
  68. casting to a signed integer of width N, the value is reduced modulo
  69. 2^N to be within range of the type. The second implementation below
  70. should be portable to all conforming C implementations, but may be
  71. less efficient if the compiler is not sufficiently clever.
  72. NOTE: X must not perform side effects. */
  73. #ifdef __GNUC__
  74. # define SCM_I_INUM(x) (SCM_SRS ((intptr_t) SCM_UNPACK (x), 2))
  75. #else
  76. # define SCM_I_INUM(x) \
  77. (SCM_UNPACK (x) > SCM_T_SIGNED_BITS_MAX \
  78. ? -1 - (intptr_t) (~SCM_UNPACK (x) >> 2) \
  79. : (intptr_t) (SCM_UNPACK (x) >> 2))
  80. #endif
  81. #define SCM_I_INUMP(x) (2 & SCM_UNPACK (x))
  82. #define SCM_I_NINUMP(x) (!SCM_I_INUMP (x))
  83. #define SCM_I_MAKINUM(x) \
  84. (SCM_PACK ((((scm_t_bits) (x)) << 2) + scm_tc2_int))
  85. /* SCM_FIXABLE is true if its long argument can be encoded in an SCM_INUM. */
  86. #define SCM_POSFIXABLE(n) ((n) <= SCM_MOST_POSITIVE_FIXNUM)
  87. #define SCM_NEGFIXABLE(n) ((n) >= SCM_MOST_NEGATIVE_FIXNUM)
  88. #define SCM_FIXABLE(n) (SCM_POSFIXABLE (n) && SCM_NEGFIXABLE (n))
  89. #define SCM_INUM0 (SCM_I_MAKINUM (0)) /* A name for 0 */
  90. #define SCM_INUM1 (SCM_I_MAKINUM (1)) /* A name for 1 */
  91. /* SCM_MAXEXP is the maximum double precision exponent
  92. * SCM_FLTMAX is less than or scm_equal the largest single precision float
  93. */
  94. #ifndef GO32
  95. # include <float.h>
  96. # ifdef __MINGW32__
  97. # define copysign _copysign
  98. # define finite _finite
  99. # endif /* __MINGW32__ */
  100. #endif /* ndef GO32 */
  101. #ifdef DBL_MAX_10_EXP
  102. # define SCM_MAXEXP DBL_MAX_10_EXP
  103. #else
  104. # define SCM_MAXEXP 308 /* IEEE doubles */
  105. #endif /* def DBL_MAX_10_EXP */
  106. #ifdef FLT_MAX
  107. # define SCM_FLTMAX FLT_MAX
  108. #else
  109. # define SCM_FLTMAX 1e+23
  110. #endif /* def FLT_MAX */
  111. /* SCM_INTBUFLEN is the maximum number of characters neccessary for
  112. * the printed or scm_string representation of an intmax_t in
  113. * radix 2. The buffer passed to scm_iint2str and scm_iuint2str must
  114. * be of this size, for example.
  115. */
  116. #define SCM_INTBUFLEN (5 + SCM_CHAR_BIT*sizeof(intmax_t))
  117. /* Numbers
  118. */
  119. /* Note that scm_tc16_real and scm_tc16_complex are given tc16-codes that only
  120. * differ in one bit: This way, checking if an object is an inexact number can
  121. * be done quickly (using the TYP16S macro). */
  122. /* Number subtype 1 to 4 (note the dependency on the predicates SCM_INEXACTP
  123. * and SCM_NUMP) */
  124. #define scm_tc16_big (scm_tc7_number + 1 * 256L)
  125. #define scm_tc16_real (scm_tc7_number + 2 * 256L)
  126. #define scm_tc16_complex (scm_tc7_number + 3 * 256L)
  127. #define scm_tc16_fraction (scm_tc7_number + 4 * 256L)
  128. #define SCM_INEXACTP(x) \
  129. (!SCM_IMP (x) && (0xfeff & SCM_CELL_TYPE (x)) == scm_tc16_real)
  130. #define SCM_REALP(x) (SCM_HAS_TYP16 (x, scm_tc16_real))
  131. #define SCM_COMPLEXP(x) (SCM_HAS_TYP16 (x, scm_tc16_complex))
  132. #define SCM_REAL_VALUE(x) (((scm_t_double *) SCM2PTR (x))->real)
  133. #define SCM_COMPLEX_REAL(x) (((scm_t_complex *) SCM2PTR (x))->real)
  134. #define SCM_COMPLEX_IMAG(x) (((scm_t_complex *) SCM2PTR (x))->imag)
  135. #define SCM_BIGP(x) (SCM_HAS_TYP16 (x, scm_tc16_big))
  136. #define SCM_NUMBERP(x) (SCM_I_INUMP(x) || SCM_NUMP(x))
  137. #define SCM_NUMP(x) (SCM_HAS_TYP7 (x, scm_tc7_number))
  138. #define SCM_FRACTIONP(x) (SCM_HAS_TYP16 (x, scm_tc16_fraction))
  139. #define SCM_FRACTION_NUMERATOR(x) (SCM_CELL_OBJECT_1 (x))
  140. #define SCM_FRACTION_DENOMINATOR(x) (SCM_CELL_OBJECT_2 (x))
  141. typedef struct scm_t_double
  142. {
  143. SCM type;
  144. #if SCM_SIZEOF_UINTPTR_T != 8
  145. SCM pad;
  146. #endif
  147. double real;
  148. } scm_t_double;
  149. typedef struct scm_t_complex
  150. {
  151. SCM type;
  152. #if SCM_SIZEOF_UINTPTR_T != 8
  153. SCM pad;
  154. #endif
  155. double real;
  156. double imag;
  157. } scm_t_complex;
  158. SCM_API SCM scm_exact_p (SCM x);
  159. SCM_API int scm_is_exact (SCM x);
  160. SCM_API SCM scm_odd_p (SCM n);
  161. SCM_API SCM scm_even_p (SCM n);
  162. SCM_API SCM scm_finite_p (SCM x);
  163. SCM_API SCM scm_inf_p (SCM x);
  164. SCM_API SCM scm_nan_p (SCM x);
  165. SCM_API SCM scm_inf (void);
  166. SCM_API SCM scm_nan (void);
  167. SCM_API SCM scm_abs (SCM x);
  168. SCM_API SCM scm_quotient (SCM x, SCM y);
  169. SCM_API SCM scm_remainder (SCM x, SCM y);
  170. SCM_API SCM scm_modulo (SCM x, SCM y);
  171. SCM_API void scm_euclidean_divide (SCM x, SCM y, SCM *q, SCM *r);
  172. SCM_API SCM scm_euclidean_quotient (SCM x, SCM y);
  173. SCM_API SCM scm_euclidean_remainder (SCM x, SCM y);
  174. SCM_API void scm_floor_divide (SCM x, SCM y, SCM *q, SCM *r);
  175. SCM_API SCM scm_floor_quotient (SCM x, SCM y);
  176. SCM_API SCM scm_floor_remainder (SCM x, SCM y);
  177. SCM_API void scm_ceiling_divide (SCM x, SCM y, SCM *q, SCM *r);
  178. SCM_API SCM scm_ceiling_quotient (SCM x, SCM y);
  179. SCM_API SCM scm_ceiling_remainder (SCM x, SCM y);
  180. SCM_API void scm_truncate_divide (SCM x, SCM y, SCM *q, SCM *r);
  181. SCM_API SCM scm_truncate_quotient (SCM x, SCM y);
  182. SCM_API SCM scm_truncate_remainder (SCM x, SCM y);
  183. SCM_API void scm_centered_divide (SCM x, SCM y, SCM *q, SCM *r);
  184. SCM_API SCM scm_centered_quotient (SCM x, SCM y);
  185. SCM_API SCM scm_centered_remainder (SCM x, SCM y);
  186. SCM_API void scm_round_divide (SCM x, SCM y, SCM *q, SCM *r);
  187. SCM_API SCM scm_round_quotient (SCM x, SCM y);
  188. SCM_API SCM scm_round_remainder (SCM x, SCM y);
  189. SCM_API SCM scm_gcd (SCM x, SCM y);
  190. SCM_API SCM scm_lcm (SCM n1, SCM n2);
  191. SCM_API SCM scm_logand (SCM n1, SCM n2);
  192. SCM_API SCM scm_logior (SCM n1, SCM n2);
  193. SCM_API SCM scm_logxor (SCM n1, SCM n2);
  194. SCM_API SCM scm_logtest (SCM n1, SCM n2);
  195. SCM_API SCM scm_logbit_p (SCM n1, SCM n2);
  196. SCM_API SCM scm_lognot (SCM n);
  197. SCM_API SCM scm_modulo_expt (SCM n, SCM k, SCM m);
  198. SCM_API SCM scm_integer_expt (SCM z1, SCM z2);
  199. SCM_API SCM scm_ash (SCM n, SCM count);
  200. SCM_API SCM scm_round_ash (SCM n, SCM count);
  201. SCM_API SCM scm_bit_extract (SCM n, SCM start, SCM end);
  202. SCM_API SCM scm_logcount (SCM n);
  203. SCM_API SCM scm_integer_length (SCM n);
  204. SCM_INTERNAL SCM scm_i_euclidean_divide (SCM x, SCM y);
  205. SCM_INTERNAL SCM scm_i_floor_divide (SCM x, SCM y);
  206. SCM_INTERNAL SCM scm_i_ceiling_divide (SCM x, SCM y);
  207. SCM_INTERNAL SCM scm_i_truncate_divide (SCM x, SCM y);
  208. SCM_INTERNAL SCM scm_i_centered_divide (SCM x, SCM y);
  209. SCM_INTERNAL SCM scm_i_round_divide (SCM x, SCM y);
  210. SCM_INTERNAL SCM scm_i_gcd (SCM x, SCM y, SCM rest);
  211. SCM_INTERNAL SCM scm_i_lcm (SCM x, SCM y, SCM rest);
  212. SCM_INTERNAL SCM scm_i_logand (SCM x, SCM y, SCM rest);
  213. SCM_INTERNAL SCM scm_i_logior (SCM x, SCM y, SCM rest);
  214. SCM_INTERNAL SCM scm_i_logxor (SCM x, SCM y, SCM rest);
  215. SCM_API size_t scm_iint2str (intmax_t num, int rad, char *p);
  216. SCM_API size_t scm_iuint2str (uintmax_t num, int rad, char *p);
  217. SCM_API SCM scm_number_to_string (SCM x, SCM radix);
  218. SCM_API int scm_print_real (SCM sexp, SCM port, scm_print_state *pstate);
  219. SCM_API int scm_print_complex (SCM sexp, SCM port, scm_print_state *pstate);
  220. SCM_API int scm_bigprint (SCM exp, SCM port, scm_print_state *pstate);
  221. SCM_API SCM scm_c_locale_stringn_to_number (const char *mem, size_t len,
  222. unsigned int radix);
  223. SCM_INTERNAL SCM scm_i_string_to_number (SCM str, unsigned int radix);
  224. SCM_API SCM scm_string_to_number (SCM str, SCM radix);
  225. SCM_API SCM scm_bigequal (SCM x, SCM y);
  226. SCM_API SCM scm_real_equalp (SCM x, SCM y);
  227. SCM_API SCM scm_complex_equalp (SCM x, SCM y);
  228. SCM_INTERNAL int scm_i_heap_numbers_equal_p (SCM x, SCM y);
  229. SCM_API SCM scm_number_p (SCM x);
  230. SCM_API SCM scm_complex_p (SCM x);
  231. SCM_API SCM scm_real_p (SCM x);
  232. SCM_API SCM scm_rational_p (SCM z);
  233. SCM_API SCM scm_integer_p (SCM x);
  234. SCM_API SCM scm_exact_integer_p (SCM x);
  235. SCM_API SCM scm_inexact_p (SCM x);
  236. SCM_API int scm_is_inexact (SCM x);
  237. SCM_API SCM scm_num_eq_p (SCM x, SCM y);
  238. SCM_API SCM scm_less_p (SCM x, SCM y);
  239. SCM_API SCM scm_gr_p (SCM x, SCM y);
  240. SCM_API SCM scm_leq_p (SCM x, SCM y);
  241. SCM_API SCM scm_geq_p (SCM x, SCM y);
  242. SCM_API SCM scm_zero_p (SCM z);
  243. SCM_API SCM scm_positive_p (SCM x);
  244. SCM_API SCM scm_negative_p (SCM x);
  245. SCM_API SCM scm_max (SCM x, SCM y);
  246. SCM_API SCM scm_min (SCM x, SCM y);
  247. SCM_API SCM scm_sum (SCM x, SCM y);
  248. SCM_API SCM scm_oneplus (SCM x);
  249. SCM_API SCM scm_difference (SCM x, SCM y);
  250. SCM_API SCM scm_oneminus (SCM x);
  251. SCM_API SCM scm_product (SCM x, SCM y);
  252. SCM_API SCM scm_divide (SCM x, SCM y);
  253. SCM_API SCM scm_floor (SCM x);
  254. SCM_API SCM scm_ceiling (SCM x);
  255. SCM_API double scm_c_truncate (double x);
  256. SCM_API double scm_c_round (double x);
  257. SCM_API SCM scm_truncate_number (SCM x);
  258. SCM_API SCM scm_round_number (SCM x);
  259. SCM_API SCM scm_expt (SCM z1, SCM z2);
  260. SCM_API SCM scm_sin (SCM z);
  261. SCM_API SCM scm_cos (SCM z);
  262. SCM_API SCM scm_tan (SCM z);
  263. SCM_API SCM scm_sinh (SCM z);
  264. SCM_API SCM scm_cosh (SCM z);
  265. SCM_API SCM scm_tanh (SCM z);
  266. SCM_API SCM scm_asin (SCM z);
  267. SCM_API SCM scm_acos (SCM z);
  268. SCM_API SCM scm_atan (SCM x, SCM y);
  269. SCM_API SCM scm_sys_asinh (SCM z);
  270. SCM_API SCM scm_sys_acosh (SCM z);
  271. SCM_API SCM scm_sys_atanh (SCM z);
  272. SCM_API SCM scm_make_rectangular (SCM z1, SCM z2);
  273. SCM_API SCM scm_make_polar (SCM z1, SCM z2);
  274. SCM_API SCM scm_real_part (SCM z);
  275. SCM_API SCM scm_imag_part (SCM z);
  276. SCM_API SCM scm_magnitude (SCM z);
  277. SCM_API SCM scm_angle (SCM z);
  278. SCM_API SCM scm_exact_to_inexact (SCM z);
  279. SCM_API SCM scm_inexact_to_exact (SCM z);
  280. SCM_API SCM scm_trunc (SCM x);
  281. SCM_API SCM scm_log (SCM z);
  282. SCM_API SCM scm_log10 (SCM z);
  283. SCM_API SCM scm_exp (SCM z);
  284. SCM_API SCM scm_sqrt (SCM z);
  285. SCM_API void scm_exact_integer_sqrt (SCM k, SCM *s, SCM *r);
  286. SCM_INTERNAL SCM scm_i_min (SCM x, SCM y, SCM rest);
  287. SCM_INTERNAL SCM scm_i_max (SCM x, SCM y, SCM rest);
  288. SCM_INTERNAL SCM scm_i_sum (SCM x, SCM y, SCM rest);
  289. SCM_INTERNAL SCM scm_i_difference (SCM x, SCM y, SCM rest);
  290. SCM_INTERNAL SCM scm_i_product (SCM x, SCM y, SCM rest);
  291. SCM_INTERNAL SCM scm_i_divide (SCM x, SCM y, SCM rest);
  292. SCM_INTERNAL SCM scm_i_exact_integer_sqrt (SCM k);
  293. /* ratio functions */
  294. SCM_API SCM scm_rationalize (SCM x, SCM err);
  295. SCM_API SCM scm_numerator (SCM z);
  296. SCM_API SCM scm_denominator (SCM z);
  297. /* fraction internal functions */
  298. SCM_INTERNAL double scm_i_fraction2double (SCM z);
  299. SCM_INTERNAL SCM scm_i_fraction_equalp (SCM x, SCM y);
  300. SCM_INTERNAL int scm_i_print_fraction (SCM sexp, SCM port, scm_print_state *pstate);
  301. /* general internal functions */
  302. SCM_INTERNAL void scm_i_print_double (double val, SCM port);
  303. SCM_INTERNAL void scm_i_print_complex (double real, double imag, SCM port);
  304. /* conversion functions for integers */
  305. SCM_API int scm_is_integer (SCM val);
  306. SCM_API int scm_is_exact_integer (SCM val);
  307. SCM_API int scm_is_signed_integer (SCM val,
  308. intmax_t min, intmax_t max);
  309. SCM_API int scm_is_unsigned_integer (SCM val,
  310. uintmax_t min, uintmax_t max);
  311. SCM_API SCM scm_from_signed_integer (intmax_t val);
  312. SCM_API SCM scm_from_unsigned_integer (uintmax_t val);
  313. SCM_API intmax_t scm_to_signed_integer (SCM val,
  314. intmax_t min,
  315. intmax_t max);
  316. SCM_API uintmax_t scm_to_unsigned_integer (SCM val,
  317. uintmax_t min,
  318. uintmax_t max);
  319. SCM_API int8_t scm_to_int8 (SCM x);
  320. SCM_API SCM scm_from_int8 (int8_t x);
  321. SCM_API uint8_t scm_to_uint8 (SCM x);
  322. SCM_API SCM scm_from_uint8 (uint8_t x);
  323. SCM_API int16_t scm_to_int16 (SCM x);
  324. SCM_API SCM scm_from_int16 (int16_t x);
  325. SCM_API uint16_t scm_to_uint16 (SCM x);
  326. SCM_API SCM scm_from_uint16 (uint16_t x);
  327. SCM_API int32_t scm_to_int32 (SCM x);
  328. SCM_API SCM scm_from_int32 (int32_t x);
  329. SCM_API uint32_t scm_to_uint32 (SCM x);
  330. SCM_API SCM scm_from_uint32 (uint32_t x);
  331. SCM_API scm_t_wchar scm_to_wchar (SCM x);
  332. SCM_API SCM scm_from_wchar (scm_t_wchar x);
  333. SCM_API int64_t scm_to_int64 (SCM x);
  334. SCM_API SCM scm_from_int64 (int64_t x);
  335. SCM_API uint64_t scm_to_uint64 (SCM x);
  336. SCM_API SCM scm_from_uint64 (uint64_t x);
  337. #if defined BUILDING_LIBGUILE && SCM_ENABLE_MINI_GMP
  338. SCM_INTERNAL void scm_to_mpz (SCM x, mpz_t rop);
  339. SCM_INTERNAL SCM scm_from_mpz (mpz_t rop);
  340. #elif !SCM_ENABLE_MINI_GMP
  341. SCM_API void scm_to_mpz (SCM x, mpz_t rop);
  342. SCM_API SCM scm_from_mpz (mpz_t rop);
  343. #endif
  344. /* The conversion functions for other types are aliased to the
  345. appropriate ones from above. We pick the right one based on the
  346. size of the type.
  347. Not each and every possibility is covered by the code below, and
  348. while it is trivial to complete the tests, it might be better to
  349. just test for the 'sane' possibilities. When one of the tests
  350. below fails, chances are good that some silent assumption somewhere
  351. else will also fail.
  352. */
  353. #if SCM_SIZEOF_CHAR == 1
  354. #define scm_to_schar scm_to_int8
  355. #define scm_from_schar scm_from_int8
  356. #define scm_to_uchar scm_to_uint8
  357. #define scm_from_uchar scm_from_uint8
  358. #if CHAR_MIN == 0
  359. #define scm_to_char scm_to_uint8
  360. #define scm_from_char scm_from_uint8
  361. #else
  362. #define scm_to_char scm_to_int8
  363. #define scm_from_char scm_from_int8
  364. #endif
  365. #else
  366. #error sizeof(char) is not 1.
  367. #endif
  368. #if SCM_SIZEOF_SHORT == 1
  369. #define scm_to_short scm_to_int8
  370. #define scm_from_short scm_from_int8
  371. #define scm_to_ushort scm_to_uint8
  372. #define scm_from_ushort scm_from_uint8
  373. #else
  374. #if SCM_SIZEOF_SHORT == 2
  375. #define scm_to_short scm_to_int16
  376. #define scm_from_short scm_from_int16
  377. #define scm_to_ushort scm_to_uint16
  378. #define scm_from_ushort scm_from_uint16
  379. #else
  380. #if SCM_SIZEOF_SHORT == 4
  381. #define scm_to_short scm_to_int32
  382. #define scm_from_short scm_from_int32
  383. #define scm_to_ushort scm_to_uint32
  384. #define scm_from_ushort scm_from_uint32
  385. #else
  386. #error sizeof(short) is not 1, 2, or 4.
  387. #endif
  388. #endif
  389. #endif
  390. #if SCM_SIZEOF_INT == 4
  391. #define scm_to_int scm_to_int32
  392. #define scm_from_int scm_from_int32
  393. #define scm_to_uint scm_to_uint32
  394. #define scm_from_uint scm_from_uint32
  395. #else
  396. #if SCM_SIZEOF_INT == 8
  397. #define scm_to_int scm_to_int64
  398. #define scm_from_int scm_from_int64
  399. #define scm_to_uint scm_to_uint64
  400. #define scm_from_uint scm_from_uint64
  401. #else
  402. #error sizeof(int) is not 4 or 8.
  403. #endif
  404. #endif
  405. #if SCM_SIZEOF_LONG == 4
  406. #define scm_to_long scm_to_int32
  407. #define scm_from_long scm_from_int32
  408. #define scm_to_ulong scm_to_uint32
  409. #define scm_from_ulong scm_from_uint32
  410. #else
  411. #if SCM_SIZEOF_LONG == 8
  412. #define scm_to_long scm_to_int64
  413. #define scm_from_long scm_from_int64
  414. #define scm_to_ulong scm_to_uint64
  415. #define scm_from_ulong scm_from_uint64
  416. #else
  417. #error sizeof(long) is not 4 or 8.
  418. #endif
  419. #endif
  420. #if SCM_SIZEOF_INTMAX == 4
  421. #define scm_to_intmax scm_to_int32
  422. #define scm_from_intmax scm_from_int32
  423. #define scm_to_uintmax scm_to_uint32
  424. #define scm_from_uintmax scm_from_uint32
  425. #else
  426. #if SCM_SIZEOF_INTMAX == 8
  427. #define scm_to_intmax scm_to_int64
  428. #define scm_from_intmax scm_from_int64
  429. #define scm_to_uintmax scm_to_uint64
  430. #define scm_from_uintmax scm_from_uint64
  431. #else
  432. #error sizeof(intmax_t) is not 4 or 8.
  433. #endif
  434. #endif
  435. #if SCM_SIZEOF_LONG_LONG == 0
  436. #else
  437. #if SCM_SIZEOF_LONG_LONG == 8
  438. #define scm_to_long_long scm_to_int64
  439. #define scm_from_long_long scm_from_int64
  440. #define scm_to_ulong_long scm_to_uint64
  441. #define scm_from_ulong_long scm_from_uint64
  442. #else
  443. #error sizeof(long long) is not 8.
  444. #endif
  445. #endif
  446. #if SCM_SIZEOF_SIZE_T == 4
  447. #define scm_to_ssize_t scm_to_int32
  448. #define scm_from_ssize_t scm_from_int32
  449. #define scm_to_size_t scm_to_uint32
  450. #define scm_from_size_t scm_from_uint32
  451. #else
  452. #if SCM_SIZEOF_SIZE_T == 8
  453. #define scm_to_ssize_t scm_to_int64
  454. #define scm_from_ssize_t scm_from_int64
  455. #define scm_to_size_t scm_to_uint64
  456. #define scm_from_size_t scm_from_uint64
  457. #else
  458. #error sizeof(size_t) is not 4 or 8.
  459. #endif
  460. #endif
  461. #if SCM_SIZEOF_SCM_T_PTRDIFF == 4
  462. #define scm_to_ptrdiff_t scm_to_int32
  463. #define scm_from_ptrdiff_t scm_from_int32
  464. #else
  465. #if SCM_SIZEOF_SCM_T_PTRDIFF == 8
  466. #define scm_to_ptrdiff_t scm_to_int64
  467. #define scm_from_ptrdiff_t scm_from_int64
  468. #else
  469. #error sizeof(ptrdiff_t) is not 4 or 8.
  470. #endif
  471. #endif
  472. #if SCM_SIZEOF_INTPTR_T == 0
  473. /* No intptr_t; use size_t functions. */
  474. #define scm_to_intptr_t scm_to_ssize_t
  475. #define scm_from_intptr_t scm_from_ssize_t
  476. #elif SCM_SIZEOF_INTPTR_T == 4
  477. #define scm_to_intptr_t scm_to_int32
  478. #define scm_from_intptr_t scm_from_int32
  479. #elif SCM_SIZEOF_INTPTR_T == 8
  480. #define scm_to_intptr_t scm_to_int64
  481. #define scm_from_intptr_t scm_from_int64
  482. #else
  483. #error sizeof(intptr_t) is not 4 or 8.
  484. #endif
  485. #if SCM_SIZEOF_UINTPTR_T == 0
  486. /* No uintptr_t; use size_t functions. */
  487. #define scm_to_uintptr_t scm_to_size_t
  488. #define scm_from_uintptr_t scm_from_size_t
  489. #elif SCM_SIZEOF_UINTPTR_T == 4
  490. #define scm_to_uintptr_t scm_to_uint32
  491. #define scm_from_uintptr_t scm_from_uint32
  492. #elif SCM_SIZEOF_UINTPTR_T == 8
  493. #define scm_to_uintptr_t scm_to_uint64
  494. #define scm_from_uintptr_t scm_from_uint64
  495. #else
  496. #error sizeof(uintptr_t) is not 4 or 8.
  497. #endif
  498. /* conversion functions for double */
  499. SCM_API int scm_is_real (SCM val);
  500. SCM_API int scm_is_rational (SCM val);
  501. SCM_API double scm_to_double (SCM val);
  502. SCM_API SCM scm_from_double (double val);
  503. /* conversion functions for complex */
  504. SCM_API int scm_is_complex (SCM val);
  505. SCM_API SCM scm_c_make_rectangular (double re, double im);
  506. SCM_API SCM scm_c_make_polar (double mag, double ang);
  507. SCM_API double scm_c_real_part (SCM z);
  508. SCM_API double scm_c_imag_part (SCM z);
  509. SCM_API double scm_c_magnitude (SCM z);
  510. SCM_API double scm_c_angle (SCM z);
  511. SCM_API int scm_is_number (SCM val);
  512. SCM_INTERNAL void scm_init_numbers (void);
  513. #define SCM_NUM2SIZE(pos, arg) (scm_to_size_t (arg))
  514. #define SCM_NUM2SIZE_DEF(pos, arg, def) \
  515. (SCM_UNBNDP (arg) ? def : scm_to_size_t (arg))
  516. #define SCM_NUM2PTRDIFF(pos, arg) (scm_to_ssize_t (arg))
  517. #define SCM_NUM2PTRDIFF_DEF(pos, arg, def) \
  518. (SCM_UNBNDP (arg) ? def : scm_to_ssize_t (arg))
  519. #define SCM_NUM2SHORT(pos, arg) (scm_to_short (arg))
  520. #define SCM_NUM2SHORT_DEF(pos, arg, def) \
  521. (SCM_UNBNDP (arg) ? def : scm_to_short (arg))
  522. #define SCM_NUM2USHORT(pos, arg) (scm_to_ushort (arg))
  523. #define SCM_NUM2USHORT_DEF(pos, arg, def) \
  524. (SCM_UNBNDP (arg) ? def : scm_to_ushort (arg))
  525. #define SCM_NUM2INT(pos, arg) (scm_to_int (arg))
  526. #define SCM_NUM2INT_DEF(pos, arg, def) \
  527. (SCM_UNBNDP (arg) ? def : scm_to_int (arg))
  528. #define SCM_NUM2UINT(pos, arg) (scm_to_uint (arg))
  529. #define SCM_NUM2UINT_DEF(pos, arg, def) \
  530. (SCM_UNBNDP (arg) ? def : scm_to_uint (arg))
  531. #define SCM_NUM2ULONG(pos, arg) (scm_to_ulong (arg))
  532. #define SCM_NUM2ULONG_DEF(pos, arg, def) \
  533. (SCM_UNBNDP (arg) ? def : scm_to_ulong (arg))
  534. #define SCM_NUM2LONG(pos, arg) (scm_to_long (arg))
  535. #define SCM_NUM2LONG_DEF(pos, arg, def) \
  536. (SCM_UNBNDP (arg) ? def : scm_to_long (arg))
  537. #define SCM_NUM2LONG_LONG(pos, arg) (scm_to_long_long (arg))
  538. #define SCM_NUM2LONG_LONG_DEF(pos, arg, def) \
  539. (SCM_UNBNDP (arg) ? def : scm_to_long_long (arg))
  540. #define SCM_NUM2ULONG_LONG(pos, arg) (scm_to_ulong_long (arg))
  541. #define SCM_NUM2ULONG_LONG_DEF(pos, arg, def) \
  542. (SCM_UNBNDP (arg) ? def : scm_to_ulong_long (arg))
  543. #define SCM_NUM2SIZE(pos, arg) (scm_to_size_t (arg))
  544. #define SCM_NUM2FLOAT(pos, arg) ((float) scm_to_double (arg))
  545. #define SCM_NUM2DOUBLE(pos, arg) (scm_to_double (arg))
  546. #define SCM_OUT_OF_RANGE(pos, arg) \
  547. do { scm_out_of_range_pos (FUNC_NAME, arg, scm_from_int (pos)); } while (0)
  548. #define SCM_ASSERT_RANGE(pos, arg, f) \
  549. do { if (SCM_UNLIKELY (!(f))) \
  550. scm_out_of_range_pos (FUNC_NAME, arg, scm_from_int (pos)); } \
  551. while (0)
  552. #define SCM_VALIDATE_REAL(pos, z) SCM_MAKE_VALIDATE_MSG (pos, z, REALP, "real")
  553. #define SCM_VALIDATE_NUMBER(pos, z) SCM_MAKE_VALIDATE_MSG (pos, z, NUMBERP, "number")
  554. #define SCM_VALIDATE_USHORT_COPY(pos, k, cvar) \
  555. do { \
  556. cvar = SCM_NUM2USHORT (pos, k); \
  557. } while (0)
  558. #define SCM_VALIDATE_SHORT_COPY(pos, k, cvar) \
  559. do { \
  560. cvar = SCM_NUM2SHORT (pos, k); \
  561. } while (0)
  562. #define SCM_VALIDATE_UINT_COPY(pos, k, cvar) \
  563. do { \
  564. cvar = SCM_NUM2UINT (pos, k); \
  565. } while (0)
  566. #define SCM_VALIDATE_INT_COPY(pos, k, cvar) \
  567. do { \
  568. cvar = SCM_NUM2INT (pos, k); \
  569. } while (0)
  570. #define SCM_VALIDATE_ULONG_COPY(pos, k, cvar) \
  571. do { \
  572. cvar = SCM_NUM2ULONG (pos, k); \
  573. } while (0)
  574. #define SCM_VALIDATE_LONG_COPY(pos, k, cvar) \
  575. do { \
  576. cvar = SCM_NUM2LONG (pos, k); \
  577. } while (0)
  578. #define SCM_VALIDATE_SIZE_COPY(pos, k, cvar) \
  579. do { \
  580. cvar = SCM_NUM2SIZE (pos, k); \
  581. } while (0)
  582. #define SCM_VALIDATE_FLOAT_COPY(pos, k, cvar) \
  583. do { \
  584. cvar = SCM_NUM2FLOAT (pos, k); \
  585. } while (0)
  586. #define SCM_VALIDATE_DOUBLE_COPY(pos, k, cvar) \
  587. do { \
  588. cvar = SCM_NUM2DOUBLE (pos, k); \
  589. } while (0)
  590. #define SCM_VALIDATE_DOUBLE_DEF_COPY(pos, k, default, cvar) \
  591. do { \
  592. if (SCM_UNBNDP (k)) \
  593. { \
  594. k = scm_make_real (default); \
  595. cvar = default; \
  596. } \
  597. else \
  598. { \
  599. cvar = SCM_NUM2DOUBLE (pos, k); \
  600. } \
  601. } while (0)
  602. #endif /* SCM_NUMBERS_H */