comparison src/number.h @ 4678:b5e1d4f6b66f

Make #'floor, #'ceiling, #'round, #'truncate conform to Common Lisp. lisp/ChangeLog addition: 2009-08-11 Aidan Kehoe <kehoea@parhasard.net> * cl-extra.el (ceiling*, floor*, round*, truncate*): Implement these in terms of the C functions; mark them as obsolete. (mod*, rem*): Use #'nth-value with the C functions, not #'nth with the CL emulation functions. man/ChangeLog addition: 2009-08-11 Aidan Kehoe <kehoea@parhasard.net> * lispref/numbers.texi (Bigfloat Basics): Correct this documentation (ignoring for the moment that it breaks off in mid-sentence). tests/ChangeLog addition: 2009-08-11 Aidan Kehoe <kehoea@parhasard.net> * automated/lisp-tests.el: Test the new Common Lisp-compatible rounding functions available in C. (generate-rounding-output): Provide a function useful for generating the data for the rounding functions tests. src/ChangeLog addition: 2009-08-11 Aidan Kehoe <kehoea@parhasard.net> * floatfns.c (ROUNDING_CONVERT, CONVERT_WITH_NUMBER_TYPES) (CONVERT_WITHOUT_NUMBER_TYPES, MAYBE_TWO_ARGS_BIGNUM) (MAYBE_ONE_ARG_BIGNUM, MAYBE_TWO_ARGS_RATIO) (MAYBE_ONE_ARG_RATIO, MAYBE_TWO_ARGS_BIGFLOAT) (MAYBE_ONE_ARG_BIGFLOAT, MAYBE_EFF, MAYBE_CHAR_OR_MARKER): New macros, used in the implementation of the rounding functions. (ceiling_two_fixnum, ceiling_two_bignum, ceiling_two_ratio) (ceiling_two_bigfloat, ceiling_one_ratio, ceiling_one_bigfloat) (ceiling_two_float, ceiling_one_float, ceiling_one_mundane_arg) (floor_two_fixnum, floor_two_bignum, floor_two_ratio) (floor_two_bigfloat, floor_one_ratio, floor_one_bigfloat) (floor_two_float, floor_one_mundane_arg, round_two_fixnum) (round_two_bignum_1, round_two_bignum, round_two_ratio) (round_one_bigfloat_1, round_two_bigfloat, round_one_ratio) (round_one_bigfloat, round_two_float, round_one_float) (round_one_mundane_arg, truncate_two_fixnum) (truncate_two_bignum, truncate_two_ratio, truncate_two_bigfloat) (truncate_one_ratio, truncate_one_bigfloat, truncate_two_float) (truncate_one_float, truncate_one_mundane_arg): New functions, used in the implementation of the rounding functions. (Fceiling, Ffloor, Fround, Ftruncate, Ffceiling, Fffloor) (Ffround, Fftruncate): Revise to fully support Common Lisp conventions. This means: -- All functions have optional DIVISOR arguments -- All functions return multiple values; see #'values -- All functions do their arithmetic with the correct number types according to the contamination rules. -- #'round and #'fround always round towards the even number in ambiguous cases. * doprnt.c (emacs_doprnt_1): * number.c (internal_coerce_number): Call Ftruncate with two arguments, not one. * floatfns.c (Ffloat): Correct this, if NUMBER is a bignum. * lisp.h: Declare Ftruncate as taking two arguments. * number.c: Provide scratch_ratio2, init it appropriately. * number.h: Make scratch_ratio2 available. * number.h (BIGFLOAT_ARITH_RETURN): * number.h (BIGFLOAT_ARITH_RETURN1): Correct these functions.
author Aidan Kehoe <kehoea@parhasard.net>
date Tue, 11 Aug 2009 17:59:23 +0100
parents 639cdee384e4
children 2fc0e2f18322 e0db3c197671
comparison
equal deleted inserted replaced
4677:8f1ee2d15784 4678:b5e1d4f6b66f
193 } while (0) 193 } while (0)
194 194
195 extern Lisp_Object make_ratio (long, unsigned long); 195 extern Lisp_Object make_ratio (long, unsigned long);
196 extern Lisp_Object make_ratio_bg (bignum, bignum); 196 extern Lisp_Object make_ratio_bg (bignum, bignum);
197 extern Lisp_Object make_ratio_rt (ratio); 197 extern Lisp_Object make_ratio_rt (ratio);
198 extern ratio scratch_ratio; 198 extern ratio scratch_ratio, scratch_ratio2;
199 199
200 #else /* !HAVE_RATIO */ 200 #else /* !HAVE_RATIO */
201 201
202 #define RATIOP(x) 0 202 #define RATIOP(x) 0
203 #define CHECK_RATIO(x) dead_wrong_type_argument (Qratiop, x) 203 #define CHECK_RATIO(x) dead_wrong_type_argument (Qratiop, x)
249 #define bigfloat_data(f) ((f)->bf) 249 #define bigfloat_data(f) ((f)->bf)
250 #define XBIGFLOAT_DATA(x) bigfloat_data (XBIGFLOAT (x)) 250 #define XBIGFLOAT_DATA(x) bigfloat_data (XBIGFLOAT (x))
251 #define XBIGFLOAT_GET_PREC(x) bigfloat_get_prec (XBIGFLOAT_DATA (x)) 251 #define XBIGFLOAT_GET_PREC(x) bigfloat_get_prec (XBIGFLOAT_DATA (x))
252 #define XBIGFLOAT_SET_PREC(x,p) bigfloat_set_prec (XBIGFLOAT_DATA (x), p) 252 #define XBIGFLOAT_SET_PREC(x,p) bigfloat_set_prec (XBIGFLOAT_DATA (x), p)
253 253
254 #define BIGFLOAT_ARITH_RETURN(f,op) do \ 254 #define BIGFLOAT_ARITH_RETURN(f,op) do \
255 { \ 255 { \
256 Lisp_Object retval = make_bigfloat_bf (f); \ 256 Lisp_Object retval = make_bigfloat (0.0, bigfloat_get_default_prec()); \
257 bigfloat_##op (XBIGFLOAT_DATA (retval), XBIGFLOAT_DATA (f)); \ 257 bigfloat_##op (XBIGFLOAT_DATA (retval), XBIGFLOAT_DATA (f)); \
258 return retval; \ 258 return retval; \
259 } while (0) 259 } while (0)
260 260
261 #define BIGFLOAT_ARITH_RETURN1(f,op,arg) do \ 261 #define BIGFLOAT_ARITH_RETURN1(f,op,arg) do \
262 { \ 262 { \
263 Lisp_Object retval = make_bigfloat_bf (f); \ 263 Lisp_Object retval = make_bigfloat (0.0, bigfloat_get_default_prec()); \
264 bigfloat_##op (XBIGFLOAT_DATA (retval), XBIGFLOAT_DATA (f), arg); \ 264 bigfloat_##op (XBIGFLOAT_DATA (retval), XBIGFLOAT_DATA (f), arg); \
265 return retval; \ 265 return retval; \
266 } while (0) 266 } while (0)
267 267
268 extern Lisp_Object make_bigfloat (double, unsigned long); 268 extern Lisp_Object make_bigfloat (double, unsigned long);