numbers.h 22 KB

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