libguile/numbers.h

   1 /* classes: h_files */
   2
   3 #ifndef NUMBERSH
   4 #define NUMBERSH
   5 /*      Copyright (C) 1995,1996 Free Software Foundation, Inc.
   6  *
   7  * This program is free software; you can redistribute it and/or modify
   8  * it under the terms of the GNU General Public License as published by
   9  * the Free Software Foundation; either version 2, or (at your option)
  10  * any later version.
  11  *
  12  * This program is distributed in the hope that it will be useful,
  13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15  * GNU General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License
  18  * along with this software; see the file COPYING.  If not, write to
  19  * the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
  20  *
  21  * As a special exception, the Free Software Foundation gives permission
  22  * for additional uses of the text contained in its release of GUILE.
  23  *
  24  * The exception is that, if you link the GUILE library with other files
  25  * to produce an executable, this does not by itself cause the
  26  * resulting executable to be covered by the GNU General Public License.
  27  * Your use of that executable is in no way restricted on account of
  28  * linking the GUILE library code into it.
  29  *
  30  * This exception does not however invalidate any other reasons why
  31  * the executable file might be covered by the GNU General Public License.
  32  *
  33  * This exception applies only to the code released by the
  34  * Free Software Foundation under the name GUILE.  If you copy
  35  * code from other Free Software Foundation releases into a copy of
  36  * GUILE, as the General Public License permits, the exception does
  37  * not apply to the code that you add in this way.  To avoid misleading
  38  * anyone as to the status of such modified files, you must delete
  39  * this exception notice from them.
  40  *
  41  * If you write modifications of your own for GUILE, it is your choice
  42  * whether to permit this exception to apply to your modifications.
  43  * If you do not wish that, delete this exception notice.
  44  */
  45 \f
  46
  47 #include "libguile/__scm.h"
  48
  49 \f
  50
  51
  52 /* Immediate Numbers
  53  *
  54  * Inums are exact integer data that fits within an SCM word.
  55  *
  56  * SCM_INUMP applies only to values known to be Scheme objects.
  57  * In particular, SCM_INUMP (SCM_CAR (x)) is valid only if x is known
  58  * to be a SCM_CONSP.  If x is only known to be a SCM_NIMP,
  59  * SCM_INUMP (SCM_CAR (x)) can give wrong answers.
  60  */
  61
  62 #define SCM_INUMP(x)    (2 & (int)(x))
  63 #define SCM_NINUMP(x)   (!SCM_INUMP(x))
  64
  65 #ifdef __TURBOC__
  66 /* shifts of more than one are done by a library call, single shifts are
  67  * performed in registers
  68  */
  69 # define SCM_MAKINUM(x) ((((x)<<1)<<1)+2L)
  70 #else
  71 # define SCM_MAKINUM(x) (((x)<<2)+2L)
  72 #endif /* def __TURBOC__ */
  73
  74
  75 /* SCM_SRS is signed right shift */
  76 /* Turbo C++ v1.0 has a bug with right shifts of signed longs!
  77  * It is believed to be fixed in Turbo C++ v1.01
  78  */
  79 #if (-1==(((-1)<<2)+2)>>2) && (__TURBOC__ != 0x295)
  80 # define SCM_SRS(x, y) ((x)>>y)
  81 # ifdef __TURBOC__
  82 #  define SCM_INUM(x) (((x)>>1)>>1)
  83 # else
  84 #  define SCM_INUM(x) SCM_SRS(x, 2)
  85 # endif /* def __TURBOC__ */
  86 #else
  87 # define SCM_SRS(x, y) (((x)<0) ? ~((~(x))>>y) : (x)>>y)
  88 # define SCM_INUM(x) SCM_SRS(x, 2)
  89 #endif /*  (-1==(((-1)<<2)+2)>>2) && (__TURBOC__ != 0x295) */
  90
  91
  92 /* A name for 0.
  93  */
  94 #define SCM_INUM0 ((SCM) 2)
  95
  96
  97
  98 /* SCM_FIXABLE is non-0 if its long argument can be encoded in an SCM_INUM.
  99  */
 100 #define SCM_POSSCM_FIXABLE(n) ((n) <= SCM_MOST_POSITIVE_FIXNUM)
 101 #define SCM_NEGSCM_FIXABLE(n) ((n) >= SCM_MOST_NEGATIVE_FIXNUM)
 102 #define SCM_UNEGSCM_FIXABLE(n) ((n) <= -SCM_MOST_NEGATIVE_FIXNUM)
 103 #define SCM_FIXABLE(n) (SCM_POSSCM_FIXABLE(n) && SCM_NEGSCM_FIXABLE(n))
 104
 105 /* SCM_INTBUFLEN is the maximum number of characters neccessary for the
 106  * printed or scm_string representation of an exact immediate.
 107  */
 108
 109 #ifndef SCM_CHAR_BIT
 110 # define SCM_CHAR_BIT 8
 111 #endif /* ndef SCM_CHAR_BIT */
 112 #ifndef SCM_LONG_BIT
 113 # define SCM_LONG_BIT (SCM_CHAR_BIT*sizeof(long)/sizeof(char))
 114 #endif /* ndef SCM_LONG_BIT */
 115 #define SCM_INTBUFLEN (5+SCM_LONG_BIT)
 116
 117 /* SCM_FLOBUFLEN is the maximum number of characters neccessary for the
 118  * printed or scm_string representation of an inexact number.
 119  */
 120
 121 #define SCM_FLOBUFLEN (10+2*(sizeof(double)/sizeof(char)*SCM_CHAR_BIT*3+9)/10)
 122
 123
 124 \f
 125
 126 /* Numbers
 127  */
 128
 129 #define SCM_INEXP(x) (SCM_TYP16(x)==scm_tc16_flo)
 130 #define SCM_CPLXP(x) (SCM_CAR(x)==scm_tc_dblc)
 131 #define SCM_REAL(x) (*(((scm_dbl *) (SCM2PTR(x)))->real))
 132 #define SCM_IMAG(x) (*((double *)(SCM_CHARS(x)+sizeof(double))))
 133 /* ((&SCM_REAL(x))[1]) */
 134
 135
 136 #ifdef SCM_SINGLES
 137 #define SCM_REALP(x) ((~SCM_REAL_PART & SCM_CAR(x))==scm_tc_flo)
 138 #define SCM_SINGP(x) (SCM_CAR(x)==scm_tc_flo)
 139 #define SCM_FLO(x) (((scm_flo *)(SCM2PTR(x)))->num)
 140 #define SCM_REALPART(x) (SCM_SINGP(x)?0.0+SCM_FLO(x):SCM_REAL(x))
 141 #else /* SCM_SINGLES */
 142 #define SCM_REALP(x) (SCM_CAR(x)==scm_tc_dblr)
 143 #define SCM_REALPART SCM_REAL
 144 #endif /* SCM_SINGLES */
 145
 146
 147 /* Define SCM_BIGDIG to an integer type whose size is smaller than long if
 148  * you want bignums.  SCM_BIGRAD is one greater than the biggest SCM_BIGDIG.
 149  *
 150  * Define SCM_DIGSTOOBIG if the digits equivalent to a long won't fit in a long.
 151  */
 152 #ifdef BIGNUMS
 153 # ifdef _UNICOS
 154 #  define SCM_DIGSTOOBIG
 155 #  if (1L << 31) <= SCM_USHRT_MAX
 156 #   define SCM_BIGDIG unsigned  short
 157 #  else
 158 #   define SCM_BIGDIG unsigned int
 159 #  endif /*  (1L << 31) <= USHRT_MAX */
 160 #  define SCM_BITSPERDIG 32
 161 # else
 162 #  define SCM_BIGDIG unsigned short
 163 #  define SCM_BITSPERDIG (sizeof(SCM_BIGDIG)*SCM_CHAR_BIT)
 164 # endif /* def _UNICOS */
 165
 166 # define SCM_BIGRAD (1L << SCM_BITSPERDIG)
 167 # define SCM_DIGSPERLONG ((scm_sizet)((sizeof(long)*SCM_CHAR_BIT+SCM_BITSPERDIG-1)/SCM_BITSPERDIG))
 168 # define SCM_DIGSPERLONGLONG ((scm_sizet)((sizeof(long long)*SCM_CHAR_BIT+SCM_BITSPERDIG-1)/SCM_BITSPERDIG))
 169 # define SCM_BIGUP(x) ((unsigned long)(x) << SCM_BITSPERDIG)
 170 # define SCM_LONGLONGSCM_BIGUP(x) ((ulong_long)(x) << SCM_BITSPERDIG)
 171 # define SCM_BIGDN(x) ((x) >> SCM_BITSPERDIG)
 172 # define SCM_BIGLO(x) ((x) & (SCM_BIGRAD-1))
 173 #endif /* def BIGNUMS */
 174
 175 #ifndef SCM_BIGDIG
 176 /* Definition is not really used but helps various function
 177  * prototypes to compile with conditionalization.
 178  */
 179 # define SCM_BIGDIG unsigned short
 180 # define NO_SCM_BIGDIG
 181 # ifndef SCM_FLOATS
 182 #  define SCM_INUMS_ONLY
 183 # endif /* ndef SCM_FLOATS */
 184 #endif /* ndef SCM_BIGDIG */
 185
 186 #ifdef SCM_FLOATS
 187 #define SCM_NUMBERP(x) (SCM_INUMP(x) || (SCM_NIMP(x) && SCM_NUMP(x)))
 188 #else
 189 #ifdef SCM_BIGDIG
 190 #define SCM_NUMBERP(x) (SCM_INUMP(x) || (SCM_NIMP(x) && SCM_NUMP(x)))
 191 #else
 192 #define SCM_NUMBERP SCM_INUMP
 193 #endif
 194 #endif
 195 #define SCM_NUMP(x) ((0xfcff & (int)SCM_CAR(x))==scm_tc7_smob)
 196 #define SCM_BIGP(x) (SCM_TYP16S(x)==scm_tc16_bigpos)
 197 #define SCM_BIGSIGN(x) (0x0100 & (int)SCM_CAR(x))
 198 #define SCM_BDIGITS(x) ((SCM_BIGDIG *)(SCM_CDR(x)))
 199 #define SCM_NUMDIGS(x) ((scm_sizet)(SCM_CAR(x)>>16))
 200 #define SCM_SETNUMDIGS(x, v, t) SCM_CAR(x) = (((v)+0L)<<16)+(t)
 201 \f
 202
 203 #ifdef SCM_FLOATS
 204 typedef struct scm_dblproc
 205 {
 206   char *scm_string;
 207   double (*cproc) ();
 208 } scm_dblproc;
 209
 210 #ifdef SCM_SINGLES
 211 typedef struct scm_flo
 212 {
 213   SCM type;
 214   float num;
 215 } scm_flo;
 216 #endif
 217
 218 typedef struct scm_dbl
 219 {
 220   SCM type;
 221   double *real;
 222 } scm_dbl;
 223 #endif
 224
 225
 226
 227 \f
 228 #ifdef __STDC__
 229 extern SCM scm_exact_p(SCM x);
 230 extern SCM scm_odd_p(SCM n);
 231 extern SCM scm_even_p(SCM n);
 232 extern SCM scm_abs(SCM x);
 233 extern SCM scm_quotient(SCM x, SCM y);
 234 extern SCM scm_remainder(SCM x, SCM y);
 235 extern SCM scm_modulo(SCM x, SCM y);
 236 extern SCM scm_gcd(SCM x, SCM y);
 237 extern SCM scm_lcm(SCM n1, SCM n2);
 238 extern SCM scm_logand(SCM n1, SCM n2);
 239 extern SCM scm_logior(SCM n1, SCM n2);
 240 extern SCM scm_logxor(SCM n1, SCM n2);
 241 extern SCM scm_logtest(SCM n1, SCM n2);
 242 extern SCM scm_logbit_p(SCM n1, SCM n2);
 243 extern SCM scm_logand(SCM n1, SCM n2);
 244 extern SCM scm_logior(SCM n1, SCM n2);
 245 extern SCM scm_logxor(SCM n1, SCM n2);
 246 extern SCM scm_logtest(SCM n1, SCM n2);
 247 extern SCM scm_logbit_p(SCM n1, SCM n2);
 248 extern SCM scm_lognot(SCM n);
 249 extern SCM scm_integer_expt(SCM z1, SCM z2);
 250 extern SCM scm_ash(SCM n, SCM cnt);
 251 extern SCM scm_bit_extract(SCM n, SCM start, SCM end);
 252 extern SCM scm_logcount (SCM n);
 253 extern SCM scm_integer_length(SCM n);
 254 extern SCM scm_mkbig(scm_sizet nlen, int sign);
 255 extern SCM scm_big2inum(SCM b, scm_sizet l);
 256 extern SCM scm_adjbig(SCM b, scm_sizet nlen);
 257 extern SCM scm_normbig(SCM b);
 258 extern SCM scm_copybig(SCM b, int sign);
 259 extern SCM scm_long2big(long n);
 260 extern SCM scm_long_long2big(long_long n);
 261 extern SCM scm_2ulong2big(unsigned long * np);
 262 extern SCM scm_ulong2big(unsigned long n);
 263 extern int scm_bigcomp(SCM x, SCM y);
 264 extern long scm_pseudolong(long x);
 265 extern void scm_longdigs(long x, SCM_BIGDIG digs[]);
 266 extern SCM scm_addbig(SCM_BIGDIG *x, scm_sizet nx, int xsgn, SCM bigy, int sgny);
 267 extern SCM scm_mulbig(SCM_BIGDIG *x, scm_sizet nx, SCM_BIGDIG *y, scm_sizet ny, int sgn);
 268 extern unsigned int scm_divbigdig(SCM_BIGDIG *ds, scm_sizet h, SCM_BIGDIG div);
 269 extern SCM scm_divbigint(SCM x, long z, int sgn, int mode);
 270 extern SCM scm_divbigbig(SCM_BIGDIG *x, scm_sizet nx, SCM_BIGDIG *y, scm_sizet ny, int sgn, int modes);
 271 extern scm_sizet scm_iint2str(long num, int rad, char *p);
 272 extern SCM scm_number_to_string(SCM x, SCM radix);
 273 extern int scm_floprint(SCM sexp, SCM port, int writing);
 274 extern int scm_bigprint(SCM exp, SCM port, int writing);
 275 extern SCM scm_istr2int(char *str, long len, long radix);
 276 extern SCM scm_istr2int(char *str, long len, long radix);
 277 extern SCM scm_istr2flo(char *str, long len, long radix);
 278 extern SCM scm_istring2number(char *str, long len, long radix);
 279 extern SCM scm_string_to_number(SCM str, SCM radix);
 280 extern SCM scm_makdbl (double x, double y);
 281 extern SCM scm_bigequal(SCM x, SCM y);
 282 extern SCM scm_floequal(SCM x, SCM y);
 283 extern SCM scm_number_p(SCM x);
 284 extern SCM scm_real_p(SCM x);
 285 extern SCM scm_int_p(SCM x);
 286 extern SCM scm_inexact_p(SCM x);
 287 extern SCM scm_num_eq_p (SCM x, SCM y);
 288 extern SCM scm_less_p(SCM x, SCM y);
 289 extern SCM scm_gr_p(SCM x, SCM y);
 290 extern SCM scm_leq_p(SCM x, SCM y);
 291 extern SCM scm_geq_p(SCM x, SCM y);
 292 extern SCM scm_zero_p(SCM z);
 293 extern SCM scm_positive_p(SCM x);
 294 extern SCM scm_negative_p(SCM x);
 295 extern SCM scm_max(SCM x, SCM y);
 296 extern SCM scm_min(SCM x, SCM y);
 297 extern SCM scm_sum(SCM x, SCM y);
 298 extern SCM scm_difference(SCM x, SCM y);
 299 extern SCM scm_product(SCM x, SCM y);
 300 extern double scm_num2dbl (SCM a, char * why);
 301 extern SCM scm_fuck (SCM a);
 302 extern SCM scm_divide(SCM x, SCM y);
 303 extern double scm_asinh(double x);
 304 extern double scm_acosh(double x);
 305 extern double scm_atanh(double x);
 306 extern double scm_truncate(double x);
 307 extern double scm_round(double x);
 308 extern double scm_exact_to_inexact(double z);
 309 extern SCM scm_sys_expt(SCM z1, SCM z2);
 310 extern SCM scm_sys_atan2(SCM z1, SCM z2);
 311 extern SCM scm_make_rectangular(SCM z1, SCM z2);
 312 extern SCM scm_make_polar(SCM z1, SCM z2);
 313 extern SCM scm_real_part(SCM z);
 314 extern SCM scm_imag_part(SCM z);
 315 extern SCM scm_magnitude(SCM z);
 316 extern SCM scm_angle(SCM z);
 317 extern SCM scm_inexact_to_exact(SCM z);
 318 extern SCM scm_trunc(SCM x);
 319 extern SCM scm_dbl2big(double d);
 320 extern double scm_big2dbl(SCM b);
 321 extern SCM scm_long2num(long sl);
 322 extern SCM scm_long_long2num(long_long sl);
 323 extern SCM scm_ulong2num(unsigned long sl);
 324 extern long scm_num2long(SCM num, char *pos, char *s_caller);
 325 extern long num2long(SCM num, char *pos, char *s_caller);
 326 extern long_long scm_num2long_long(SCM num, char *pos, char *s_caller);
 327 extern unsigned long scm_num2ulong(SCM num, char *pos, char *s_caller);
 328 extern void scm_init_numbers (void);
 329
 330 #else /* STDC */
 331 extern SCM scm_exact_p();
 332 extern SCM scm_odd_p();
 333 extern SCM scm_even_p();
 334 extern SCM scm_abs();
 335 extern SCM scm_quotient();
 336 extern SCM scm_remainder();
 337 extern SCM scm_modulo();
 338 extern SCM scm_gcd();
 339 extern SCM scm_lcm();
 340 extern SCM scm_logand();
 341 extern SCM scm_logior();
 342 extern SCM scm_logxor();
 343 extern SCM scm_logtest();
 344 extern SCM scm_logbit_p();
 345 extern SCM scm_logand();
 346 extern SCM scm_logior();
 347 extern SCM scm_logxor();
 348 extern SCM scm_logtest();
 349 extern SCM scm_logbit_p();
 350 extern SCM scm_lognot();
 351 extern SCM scm_integer_expt();
 352 extern SCM scm_ash();
 353 extern SCM scm_bit_extract();
 354 extern SCM scm_logcount ();
 355 extern SCM scm_integer_length();
 356 extern SCM scm_mkbig();
 357 extern SCM scm_big2inum();
 358 extern SCM scm_adjbig();
 359 extern SCM scm_normbig();
 360 extern SCM scm_copybig();
 361 extern SCM scm_long2big();
 362 extern SCM scm_long_long2big();
 363 extern SCM scm_2ulong2big();
 364 extern SCM scm_ulong2big();
 365 extern int scm_bigcomp();
 366 extern long scm_pseudolong();
 367 extern void scm_longdigs();
 368 extern SCM scm_addbig();
 369 extern SCM scm_mulbig();
 370 extern unsigned int scm_divbigdig();
 371 extern SCM scm_divbigint();
 372 extern SCM scm_divbigbig();
 373 extern scm_sizet scm_iint2str();
 374 extern SCM scm_number_to_string();
 375 extern int scm_floprint();
 376 extern int scm_bigprint();
 377 extern SCM scm_istr2int();
 378 extern SCM scm_istr2int();
 379 extern SCM scm_istr2flo();
 380 extern SCM scm_istring2number();
 381 extern SCM scm_string_to_number();
 382 extern SCM scm_makdbl ();
 383 extern SCM scm_bigequal();
 384 extern SCM scm_floequal();
 385 extern SCM scm_number_p();
 386 extern SCM scm_real_p();
 387 extern SCM scm_int_p();
 388 extern SCM scm_inexact_p();
 389 extern SCM scm_num_eq_p ();
 390 extern SCM scm_less_p();
 391 extern SCM scm_gr_p();
 392 extern SCM scm_leq_p();
 393 extern SCM scm_geq_p();
 394 extern SCM scm_zero_p();
 395 extern SCM scm_positive_p();
 396 extern SCM scm_negative_p();
 397 extern SCM scm_max();
 398 extern SCM scm_min();
 399 extern SCM scm_sum();
 400 extern SCM scm_difference();
 401 extern SCM scm_product();
 402 extern double scm_num2dbl ();
 403 extern SCM scm_fuck ();
 404 extern SCM scm_divide();
 405 extern double scm_asinh();
 406 extern double scm_acosh();
 407 extern double scm_atanh();
 408 extern double scm_truncate();
 409 extern double scm_round();
 410 extern double scm_exact_to_inexact();
 411 extern SCM scm_sys_expt();
 412 extern SCM scm_sys_atan2();
 413 extern SCM scm_make_rectangular();
 414 extern SCM scm_make_polar();
 415 extern SCM scm_real_part();
 416 extern SCM scm_imag_part();
 417 extern SCM scm_magnitude();
 418 extern SCM scm_angle();
 419 extern SCM scm_inexact_to_exact();
 420 extern SCM scm_trunc();
 421 extern SCM scm_dbl2big();
 422 extern double scm_big2dbl();
 423 extern SCM scm_long2num();
 424 extern SCM scm_long_long2num();
 425 extern SCM scm_ulong2num();
 426 extern long scm_num2long();
 427 extern long num2long();
 428 extern long_long scm_num2long_long();
 429 extern unsigned long scm_num2ulong();
 430 extern void scm_init_numbers ();
 431
 432 #endif /* STDC */
 433
 434
 435
 436 #endif  /* NUMBERSH */