Mercurial > hg > xemacs-beta
annotate src/number.h @ 5554:a42e686a01bf
Automated merge with file:///Sources/xemacs-21.5-checked-out
| author | Aidan Kehoe <kehoea@parhasard.net> |
|---|---|
| date | Wed, 24 Aug 2011 11:07:26 +0100 |
| parents | 8d29f1c4bb98 |
| children | 56144c8593a8 |
| rev | line source |
|---|---|
| 1983 | 1 /* Definitions of numeric types for XEmacs. |
| 2 Copyright (C) 2004 Jerry James. | |
| 3 | |
| 4 This file is part of XEmacs. | |
| 5 | |
|
5405
2aa9cd456ae7
Move src/ to GPLv3.
Mike Sperber <sperber@deinprogramm.de>
parents:
5234
diff
changeset
|
6 XEmacs is free software: you can redistribute it and/or modify it |
| 1983 | 7 under the terms of the GNU General Public License as published by the |
|
5405
2aa9cd456ae7
Move src/ to GPLv3.
Mike Sperber <sperber@deinprogramm.de>
parents:
5234
diff
changeset
|
8 Free Software Foundation, either version 3 of the License, or (at your |
|
2aa9cd456ae7
Move src/ to GPLv3.
Mike Sperber <sperber@deinprogramm.de>
parents:
5234
diff
changeset
|
9 option) any later version. |
| 1983 | 10 |
| 11 XEmacs is distributed in the hope that it will be useful, but WITHOUT | |
| 12 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
| 13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
| 14 for more details. | |
| 15 | |
| 16 You should have received a copy of the GNU General Public License | |
|
5405
2aa9cd456ae7
Move src/ to GPLv3.
Mike Sperber <sperber@deinprogramm.de>
parents:
5234
diff
changeset
|
17 along with XEmacs. If not, see <http://www.gnu.org/licenses/>. */ |
| 1983 | 18 |
| 19 /* Synched up with: Not in FSF. */ | |
| 20 | |
| 21 #ifndef INCLUDED_number_h_ | |
| 22 #define INCLUDED_number_h_ | |
| 23 | |
| 24 /* The following types are always defined in the same manner: | |
| 25 fixnum = whatever fits in the Lisp_Object type | |
| 26 integer = union (fixnum, bignum) | |
| 27 rational = union (integer, ratio) | |
| 28 float = C double | |
| 29 floating = union(float, bigfloat) Anybody got a better name? | |
| 30 real = union (rational, floating) | |
| 31 number = real (should be union(real, complex) but no complex yet) | |
| 32 | |
| 33 It is up to the library-specific code to define the remaining types, | |
| 34 namely: bignum, ratio, and bigfloat. Not all of these types may be | |
| 35 available. The top-level configure script should define the symbols | |
| 36 HAVE_BIGNUM, HAVE_RATIO, and HAVE_BIGFLOAT to indicate which it provides. | |
| 37 If some type is not defined by the library, this is what happens: | |
| 38 | |
| 39 - bignum: bignump(x) is false for all x; any attempt to create a bignum | |
| 40 causes an error to be raised. | |
| 41 | |
| 42 - ratio: we define our own structure consisting of two Lisp_Objects, which | |
| 43 are presumed to be integers (i.e., either fixnums or bignums). We do our | |
| 44 own GCD calculation, which is bound to be slow, to keep the ratios | |
| 45 reduced to canonical form. (FIXME: Not yet implemented.) | |
| 46 | |
| 47 - bigfloat: bigfloat(x) is false for all x; any attempt to create a | |
| 48 bigfloat causes an error to be raised. | |
| 49 | |
| 50 We (provide) the following symbols, so that Lisp code has some hope of | |
| 51 using this correctly: | |
| 52 | |
| 53 - (provide 'bignum) if HAVE_BIGNUM | |
| 54 - (provde 'ratio) if HAVE_RATIO | |
| 55 - (provide 'bigfloat) if HAVE_BIGFLOAT | |
| 56 */ | |
| 57 | |
| 58 /* Load the library definitions */ | |
| 59 #ifdef WITH_GMP | |
| 60 #include "number-gmp.h" | |
| 61 #endif | |
| 62 #ifdef WITH_MP | |
| 63 #include "number-mp.h" | |
| 64 #endif | |
| 65 | |
| 66 | |
| 67 /********************************* Bignums **********************************/ | |
| 68 #ifdef HAVE_BIGNUM | |
| 69 | |
| 70 struct Lisp_Bignum | |
| 71 { | |
|
5120
d1247f3cc363
latest work on lisp-object workspace;
Ben Wing <ben@xemacs.org>
parents:
5118
diff
changeset
|
72 FROB_BLOCK_LISP_OBJECT_HEADER lheader; |
| 1983 | 73 bignum data; |
| 74 }; | |
| 75 typedef struct Lisp_Bignum Lisp_Bignum; | |
| 76 | |
|
5118
e0db3c197671
merge up to latest default branch, doesn't compile yet
Ben Wing <ben@xemacs.org>
parents:
4678
diff
changeset
|
77 DECLARE_LISP_OBJECT (bignum, Lisp_Bignum); |
| 1983 | 78 #define XBIGNUM(x) XRECORD (x, bignum, Lisp_Bignum) |
| 79 #define wrap_bignum(p) wrap_record (p, bignum) | |
| 80 #define BIGNUMP(x) RECORDP (x, bignum) | |
| 81 #define CHECK_BIGNUM(x) CHECK_RECORD (x, bignum) | |
| 82 #define CONCHECK_BIGNUM(x) CONCHECK_RECORD (x, bignum) | |
| 83 | |
| 84 #define bignum_data(b) (b)->data | |
| 85 #define XBIGNUM_DATA(x) bignum_data (XBIGNUM (x)) | |
| 86 | |
| 87 #define BIGNUM_ARITH_RETURN(b,op) do \ | |
| 88 { \ | |
| 89 Lisp_Object retval = make_bignum (0); \ | |
| 90 bignum_##op (XBIGNUM_DATA (retval), XBIGNUM_DATA (b)); \ | |
| 91 return Fcanonicalize_number (retval); \ | |
| 92 } while (0) | |
| 93 | |
| 94 #define BIGNUM_ARITH_RETURN1(b,op,arg) do \ | |
| 95 { \ | |
| 96 Lisp_Object retval = make_bignum(0); \ | |
| 97 bignum_##op (XBIGNUM_DATA (retval), XBIGNUM_DATA (b), arg); \ | |
| 98 return Fcanonicalize_number (retval); \ | |
| 99 } while (0) | |
| 100 | |
| 3391 | 101 #if SIZEOF_EMACS_INT == SIZEOF_LONG |
| 102 # define bignum_fits_emacs_int_p(b) bignum_fits_long_p(b) | |
| 103 # define bignum_to_emacs_int(b) bignum_to_long(b) | |
| 104 #elif SIZEOF_EMACS_INT == SIZEOF_INT | |
| 105 # define bignum_fits_emacs_int_p(b) bignum_fits_int_p(b) | |
| 106 # define bignum_to_emacs_int(b) bignum_to_int(b) | |
| 107 #else | |
| 108 # error Bignums currently do not work with long long Emacs integers. | |
| 109 #endif | |
| 110 | |
| 1983 | 111 extern Lisp_Object make_bignum (long); |
| 112 extern Lisp_Object make_bignum_bg (bignum); | |
| 113 extern bignum scratch_bignum, scratch_bignum2; | |
| 114 | |
| 115 #else /* !HAVE_BIGNUM */ | |
| 116 | |
| 117 #define BIGNUMP(x) 0 | |
| 118 #define CHECK_BIGNUM(x) dead_wrong_type_argument (Qbignump, x) | |
| 119 #define CONCHECK_BIGNUM(x) dead_wrong_type_argument (Qbignump, x) | |
| 120 typedef void bignum; | |
| 121 #define make_bignum(l) This XEmacs does not support bignums | |
| 122 #define make_bignum_bg(b) This XEmacs does not support bignums | |
| 123 | |
| 124 #endif /* HAVE_BIGNUM */ | |
| 125 | |
| 2092 | 126 extern Lisp_Object Qbignump; |
| 1983 | 127 EXFUN (Fbignump, 1); |
| 128 | |
| 129 | |
| 130 /********************************* Integers *********************************/ | |
| 4932 | 131 /* Qintegerp in lisp.h */ |
| 1983 | 132 #define INTEGERP(x) (INTP(x) || BIGNUMP(x)) |
| 133 #define CHECK_INTEGER(x) do { \ | |
| 134 if (!INTEGERP (x)) \ | |
| 135 dead_wrong_type_argument (Qintegerp, x); \ | |
| 136 } while (0) | |
| 137 #define CONCHECK_INTEGER(x) do { \ | |
| 138 if (!INTEGERP (x)) \ | |
| 139 x = wrong_type_argument (Qintegerp, x); \ | |
| 140 } while (0) | |
| 141 | |
| 142 #ifdef HAVE_BIGNUM | |
| 143 #define make_integer(x) \ | |
| 144 (NUMBER_FITS_IN_AN_EMACS_INT (x) ? make_int (x) : make_bignum (x)) | |
| 145 #else | |
| 146 #define make_integer(x) make_int (x) | |
| 147 #endif | |
| 148 | |
| 149 extern Fixnum Vmost_negative_fixnum, Vmost_positive_fixnum; | |
| 150 EXFUN (Fintegerp, 1); | |
| 151 EXFUN (Fevenp, 1); | |
| 152 EXFUN (Foddp, 1); | |
| 153 | |
|
5307
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
154 /* There are varying mathematical definitions of what a natural number is, |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
155 differing about whether 0 is inside or outside the set. The Oxford |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
156 English Dictionary, second edition, does say that they are whole numbers, |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
157 not fractional, but it doesn't give a bound, and gives a quotation |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
158 talking about the natural numbers from 1 to 100. Since 100 is certainly |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
159 *not* the upper bound on natural numbers, we can't take 1 as the lower |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
160 bound from that example. The Real Academia Española's dictionary, not of |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
161 English but certainly sharing the western academic tradition, says of |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
162 "número natural": |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
163 |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
164 1. m. Mat. Cada uno de los elementos de la sucesión 0, 1, 2, 3... |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
165 |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
166 that is, "each of the elements of the succession 0, 1, 2, 3 ...". The |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
167 various Wikipedia articles in languages I can read agree. It's |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
168 reasonable to call this macro and the associated Lisp function |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
169 NATNUMP. */ |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
170 |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
171 #ifdef HAVE_BIGNUM |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
172 #define NATNUMP(x) ((INTP (x) && XINT (x) >= 0) || \ |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
173 (BIGNUMP (x) && bignum_sign (XBIGNUM_DATA (x)) >= 0)) |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
174 #else |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
175 #define NATNUMP(x) (INTP (x) && XINT (x) >= 0) |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
176 #endif |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
177 |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
178 #define CHECK_NATNUM(x) do { \ |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
179 if (!NATNUMP (x)) \ |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
180 dead_wrong_type_argument (Qnatnump, x); \ |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
181 } while (0) |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
182 |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
183 #define CONCHECK_NATNUM(x) do { \ |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
184 if (!NATNUMP (x)) \ |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
185 x = wrong_type_argument (Qnatnump, x); \ |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
186 } while (0) |
|
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
187 |
| 1983 | 188 |
| 189 /********************************** Ratios **********************************/ | |
| 190 #ifdef HAVE_RATIO | |
| 191 | |
| 192 struct Lisp_Ratio | |
| 193 { | |
|
5120
d1247f3cc363
latest work on lisp-object workspace;
Ben Wing <ben@xemacs.org>
parents:
5118
diff
changeset
|
194 FROB_BLOCK_LISP_OBJECT_HEADER lheader; |
| 1983 | 195 ratio data; |
| 196 }; | |
| 197 typedef struct Lisp_Ratio Lisp_Ratio; | |
| 198 | |
|
5118
e0db3c197671
merge up to latest default branch, doesn't compile yet
Ben Wing <ben@xemacs.org>
parents:
4678
diff
changeset
|
199 DECLARE_LISP_OBJECT (ratio, Lisp_Ratio); |
| 1983 | 200 #define XRATIO(x) XRECORD (x, ratio, Lisp_Ratio) |
| 201 #define wrap_ratio(p) wrap_record (p, ratio) | |
| 202 #define RATIOP(x) RECORDP (x, ratio) | |
| 203 #define CHECK_RATIO(x) CHECK_RECORD (x, ratio) | |
| 204 #define CONCHECK_RATIO(x) CONCHECK_RECORD (x, ratio) | |
| 205 | |
| 206 #define ratio_data(r) (r)->data | |
| 207 | |
| 208 #define XRATIO_DATA(r) ratio_data (XRATIO (r)) | |
| 209 #define XRATIO_NUMERATOR(r) ratio_numerator (XRATIO_DATA (r)) | |
| 210 #define XRATIO_DENOMINATOR(r) ratio_denominator (XRATIO_DATA (r)) | |
| 211 | |
| 212 #define RATIO_ARITH_RETURN(r,op) do \ | |
| 213 { \ | |
| 214 Lisp_Object retval = make_ratio (0L, 1UL); \ | |
| 215 ratio_##op (XRATIO_DATA (retval), XRATIO_DATA (r)); \ | |
| 216 return Fcanonicalize_number (retval); \ | |
| 217 } while (0) | |
| 218 | |
| 219 #define RATIO_ARITH_RETURN1(r,op,arg) do \ | |
| 220 { \ | |
| 221 Lisp_Object retval = make_ratio (0L, 1UL); \ | |
| 222 ratio_##op (XRATIO_DATA (retval), XRATIO_DATA (r), arg); \ | |
| 223 return Fcanonicalize_number (retval); \ | |
| 224 } while (0) | |
| 225 | |
| 226 extern Lisp_Object make_ratio (long, unsigned long); | |
| 227 extern Lisp_Object make_ratio_bg (bignum, bignum); | |
| 228 extern Lisp_Object make_ratio_rt (ratio); | |
|
4678
b5e1d4f6b66f
Make #'floor, #'ceiling, #'round, #'truncate conform to Common Lisp.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3391
diff
changeset
|
229 extern ratio scratch_ratio, scratch_ratio2; |
| 1983 | 230 |
| 231 #else /* !HAVE_RATIO */ | |
| 232 | |
| 233 #define RATIOP(x) 0 | |
| 234 #define CHECK_RATIO(x) dead_wrong_type_argument (Qratiop, x) | |
| 235 #define CONCHECK_RATIO(x) dead_wrong_type_argument (Qratiop, x) | |
| 236 typedef void ratio; | |
| 237 #define make_ratio(n,d) This XEmacs does not support ratios | |
| 238 #define make_ratio_bg(n,d) This XEmacs does not support ratios | |
| 239 | |
| 240 #endif /* HAVE_RATIO */ | |
| 241 | |
| 2092 | 242 extern Lisp_Object Qratiop; |
| 1983 | 243 EXFUN (Fratiop, 1); |
| 244 | |
| 245 | |
| 246 /******************************** Rationals *********************************/ | |
| 247 extern Lisp_Object Qrationalp; | |
| 248 | |
| 249 #define RATIONALP(x) (INTEGERP(x) || RATIOP(x)) | |
| 250 #define CHECK_RATIONAL(x) do { \ | |
| 251 if (!RATIONALP (x)) \ | |
| 252 dead_wrong_type_argument (Qrationalp, x); \ | |
| 253 } while (0) | |
| 254 #define CONCHECK_RATIONAL(x) do { \ | |
| 255 if (!RATIONALP (x)) \ | |
| 256 x = wrong_type_argument (Qrationalp, x); \ | |
| 257 } while (0) | |
| 258 | |
| 259 EXFUN (Frationalp, 1); | |
| 260 EXFUN (Fnumerator, 1); | |
| 261 EXFUN (Fdenominator, 1); | |
| 262 | |
| 263 | |
| 264 /******************************** Bigfloats *********************************/ | |
| 265 #ifdef HAVE_BIGFLOAT | |
| 266 struct Lisp_Bigfloat | |
| 267 { | |
|
5120
d1247f3cc363
latest work on lisp-object workspace;
Ben Wing <ben@xemacs.org>
parents:
5118
diff
changeset
|
268 FROB_BLOCK_LISP_OBJECT_HEADER lheader; |
| 1983 | 269 bigfloat bf; |
| 270 }; | |
| 271 typedef struct Lisp_Bigfloat Lisp_Bigfloat; | |
| 272 | |
|
5118
e0db3c197671
merge up to latest default branch, doesn't compile yet
Ben Wing <ben@xemacs.org>
parents:
4678
diff
changeset
|
273 DECLARE_LISP_OBJECT (bigfloat, Lisp_Bigfloat); |
| 1983 | 274 #define XBIGFLOAT(x) XRECORD (x, bigfloat, Lisp_Bigfloat) |
| 275 #define wrap_bigfloat(p) wrap_record (p, bigfloat) | |
| 276 #define BIGFLOATP(x) RECORDP (x, bigfloat) | |
| 277 #define CHECK_BIGFLOAT(x) CHECK_RECORD (x, bigfloat) | |
| 278 #define CONCHECK_BIGFLOAT(x) CONCHECK_RECORD (x, bigfloat) | |
| 279 | |
| 280 #define bigfloat_data(f) ((f)->bf) | |
| 281 #define XBIGFLOAT_DATA(x) bigfloat_data (XBIGFLOAT (x)) | |
| 282 #define XBIGFLOAT_GET_PREC(x) bigfloat_get_prec (XBIGFLOAT_DATA (x)) | |
| 283 #define XBIGFLOAT_SET_PREC(x,p) bigfloat_set_prec (XBIGFLOAT_DATA (x), p) | |
| 284 | |
|
4678
b5e1d4f6b66f
Make #'floor, #'ceiling, #'round, #'truncate conform to Common Lisp.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3391
diff
changeset
|
285 #define BIGFLOAT_ARITH_RETURN(f,op) do \ |
|
b5e1d4f6b66f
Make #'floor, #'ceiling, #'round, #'truncate conform to Common Lisp.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3391
diff
changeset
|
286 { \ |
|
b5e1d4f6b66f
Make #'floor, #'ceiling, #'round, #'truncate conform to Common Lisp.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3391
diff
changeset
|
287 Lisp_Object retval = make_bigfloat (0.0, bigfloat_get_default_prec()); \ |
| 1983 | 288 bigfloat_##op (XBIGFLOAT_DATA (retval), XBIGFLOAT_DATA (f)); \ |
| 289 return retval; \ | |
| 290 } while (0) | |
| 291 | |
| 292 #define BIGFLOAT_ARITH_RETURN1(f,op,arg) do \ | |
| 293 { \ | |
|
4678
b5e1d4f6b66f
Make #'floor, #'ceiling, #'round, #'truncate conform to Common Lisp.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3391
diff
changeset
|
294 Lisp_Object retval = make_bigfloat (0.0, bigfloat_get_default_prec()); \ |
| 1983 | 295 bigfloat_##op (XBIGFLOAT_DATA (retval), XBIGFLOAT_DATA (f), arg); \ |
| 296 return retval; \ | |
| 297 } while (0) | |
| 298 | |
| 299 extern Lisp_Object make_bigfloat (double, unsigned long); | |
| 300 extern Lisp_Object make_bigfloat_bf (bigfloat); | |
| 301 extern Lisp_Object Vdefault_float_precision; | |
| 302 extern bigfloat scratch_bigfloat, scratch_bigfloat2; | |
| 303 | |
| 304 #else /* !HAVE_BIGFLOAT */ | |
| 305 | |
| 306 #define BIGFLOATP(x) 0 | |
| 307 #define CHECK_BIGFLOAT(x) dead_wrong_type_argument (Qbigfloatp, x) | |
| 308 #define CONCHECK_BIGFLOAT(x) dead_wrong_type_argument (Qbigfloatp, x) | |
| 309 typedef void bigfloat; | |
| 310 #define make_bigfloat(f) This XEmacs does not support bigfloats | |
| 311 #define make_bigfloat_bf(f) This XEmacs does not support bigfloast | |
| 312 | |
| 313 #endif /* HAVE_BIGFLOAT */ | |
| 314 | |
| 2092 | 315 extern Lisp_Object Qbigfloatp; |
| 1983 | 316 EXFUN (Fbigfloatp, 1); |
| 317 | |
| 318 /********************************* Floating *********************************/ | |
| 4932 | 319 extern Lisp_Object Qfloatingp; |
| 1983 | 320 extern Lisp_Object Qread_default_float_format, Vread_default_float_format; |
| 321 | |
| 322 #define FLOATINGP(x) (FLOATP (x) || BIGFLOATP (x)) | |
| 323 #define CHECK_FLOATING(x) do { \ | |
| 324 if (!FLOATINGP (x)) \ | |
| 325 dead_wrong_type_argument (Qfloatingp, x); \ | |
| 326 } while (0) | |
| 327 #define CONCHECK_FLOATING(x) do { \ | |
| 328 if (!FLOATINGP (x)) \ | |
| 329 x = wrong_type_argument (Qfloating, x); \ | |
| 330 } while (0) | |
| 331 | |
| 2057 | 332 extern Lisp_Object make_floating (double); |
| 1983 | 333 EXFUN (Ffloatp, 1); |
| 334 | |
| 335 | |
| 336 /********************************** Reals ***********************************/ | |
| 337 extern Lisp_Object Qrealp; | |
| 338 | |
| 339 #define REALP(x) (RATIONALP (x) || FLOATINGP (x)) | |
| 340 #define CHECK_REAL(x) do { \ | |
| 341 if (!REALP (x)) \ | |
| 342 dead_wrong_type_argument (Qrealp, x); \ | |
| 343 } while (0) | |
| 344 #define CONCHECK_REAL(x) do { \ | |
| 345 if (!REALP (x)) \ | |
| 346 x = wrong_type_argument (Qrealp, x); \ | |
| 347 } while (0) | |
| 348 | |
| 349 EXFUN (Frealp, 1); | |
| 350 | |
| 351 | |
| 352 /********************************* Numbers **********************************/ | |
| 4932 | 353 /* Qnumberp in lisp.h */ |
| 1983 | 354 #define NUMBERP(x) REALP (x) |
| 355 #define CHECK_NUMBER(x) do { \ | |
| 356 if (!NUMBERP (x)) \ | |
| 357 dead_wrong_type_argument (Qnumberp, x); \ | |
| 358 } while (0) | |
| 359 #define CONCHECK_NUMBER(x) do { \ | |
| 360 if (!NUMBERP (x)) \ | |
| 361 x = wrong_type_argument (Qnumberp, x); \ | |
| 362 } while (0) | |
| 363 | |
| 364 EXFUN (Fcanonicalize_number, 1); | |
| 365 | |
| 366 enum number_type {FIXNUM_T, BIGNUM_T, RATIO_T, FLOAT_T, BIGFLOAT_T}; | |
| 367 | |
| 1995 | 368 extern enum number_type get_number_type (Lisp_Object); |
| 1983 | 369 extern enum number_type promote_args (Lisp_Object *, Lisp_Object *); |
| 370 | |
|
4885
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
371 #ifdef WITH_NUMBER_TYPES |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
372 DECLARE_INLINE_HEADER ( |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
373 int |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
374 non_fixnum_number_p (Lisp_Object object)) |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
375 { |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
376 if (LRECORDP (object)) |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
377 { |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
378 switch (XRECORD_LHEADER (object)->type) |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
379 { |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
380 case lrecord_type_float: |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
381 #ifdef HAVE_BIGNUM |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
382 case lrecord_type_bignum: |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
383 #endif |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
384 #ifdef HAVE_RATIO |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
385 case lrecord_type_ratio: |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
386 #endif |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
387 #ifdef HAVE_BIGFLOAT |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
388 case lrecord_type_bigfloat: |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
389 #endif |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
390 return 1; |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
391 } |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
392 } |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
393 return 0; |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
394 } |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
395 #define NON_FIXNUM_NUMBER_P(X) non_fixnum_number_p (X) |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
396 |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
397 #else |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
398 #define NON_FIXNUM_NUMBER_P FLOATP |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
399 #endif |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
400 |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
401 |
| 1983 | 402 #endif /* INCLUDED_number_h_ */ |