Mercurial > hg > xemacs-beta
annotate src/number.h @ 5518:3cc7470ea71c
gnuclient: if TMPDIR was set and connect failed, try again with /tmp
2011-06-03 Aidan Kehoe <kehoea@parhasard.net>
* gnuslib.c (connect_to_unix_server):
Retry with /tmp as a directory in which to search for Unix sockets
if an attempt to connect with some other directory failed (which
may be because gnuclient and gnuserv don't share an environment
value for TMPDIR, or because gnuserv was compiled with USE_TMPDIR
turned off).
| author | Aidan Kehoe <kehoea@parhasard.net> |
|---|---|
| date | Fri, 03 Jun 2011 18:40:57 +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_ */ |