HCoop / bpt / guile.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
*** empty log message ***
[bpt/guile.git] / test-suite / tests / numbers.test
CommitLineData
de142bea 1;;;; numbers.test --- tests guile's numbers -*- scheme -*-
072e6de2 2;;;; Copyright (C) 2000, 2001, 2003 Free Software Foundation, Inc.
de142bea 3;;;;
73be1d9e
MV		 4;;;; This library is free software; you can redistribute it and/or
5;;;; modify it under the terms of the GNU Lesser General Public
6;;;; License as published by the Free Software Foundation; either
7;;;; version 2.1 of the License, or (at your option) any later version.
8;;;;
9;;;; This library is distributed in the hope that it will be useful,
de142bea 10;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
73be1d9e
MV		 11;;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12;;;; Lesser General Public License for more details.
13;;;;
14;;;; You should have received a copy of the GNU Lesser General Public
15;;;; License along with this library; if not, write to the Free Software
16;;;; Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
de142bea 17
a1fb3b1c
KR		 18(define-module (test-suite test-numbers)
19 #:use-module (test-suite lib)
20 #:use-module (ice-9 documentation))
de142bea 21
de142bea
DH		 22;;;
23;;; miscellaneous
24;;;
25
1b3a7932
DH		 26(define exception:numerical-overflow
27 (cons 'numerical-overflow "^Numerical overflow"))
28
cb18f2a8 29(define (documented? object)
5c96bc39 30 (not (not (object-documentation object))))
de142bea 31
8b7838b5
RB		 32(define fixnum-bit
33 (inexact->exact (+ (/ (log (+ most-positive-fixnum 1)) (log 2)) 1)))
34
21e39e8f
DH		 35(define fixnum-min most-negative-fixnum)
36(define fixnum-max most-positive-fixnum)
de142bea 37
a1fb3b1c
KR		 38;; Divine the number of bits in the mantissa of a flonum.
39;; We look for when 2.0^i+1.0 gets rounded, ie. the difference between that
40;; value and 2.0^k is not 1.0.
41;; Of course this assumes flonums have a fixed precision mantissa, but
42;; that's the case now and probably into the forseeable future.
43;; On an IEEE system, which means pretty much everywhere, the value here is
44;; the usual 53.
45;;
46(define dbl-mant-dig
47 (let more ((i 1)
48 (d 2.0))
49 (if (> i 1024)
50 (error "Oops, cannot determine number of bits in mantissa of inexact"))
51 (let* ((sum (+ 1.0 d))
52 (diff (- sum d)))
53 (if (= diff 1.0)
54 (more (1+ i) (* 2.0 d))
55 i))))
56
57;; like ash, but working on a flonum
58(define (ash-flo x n)
59 (while (> n 0)
60 (set! x (* 2.0 x))
61 (set! n (1- n)))
62 (while (< n 0)
63 (set! x (* 0.5 x))
64 (set! n (1+ n)))
65 x)
66
67
de142bea
DH		 68;;;
69;;; exact?
70;;;
71
72(with-test-prefix "exact?"
73
de142bea 74 (pass-if "documented?"
cb18f2a8 75 (documented? exact?))
de142bea 76
21e39e8f 77 (with-test-prefix "integers"
de142bea 78
21e39e8f
DH		 79 (pass-if "0"
80 (exact? 0))
de142bea 81
21e39e8f
DH		 82 (pass-if "fixnum-max"
83 (exact? fixnum-max))
de142bea 84
21e39e8f
DH		 85 (pass-if "fixnum-max + 1"
86 (exact? (+ fixnum-max 1)))
de142bea 87
21e39e8f
DH		 88 (pass-if "fixnum-min"
89 (exact? fixnum-min))
de142bea 90
21e39e8f
DH		 91 (pass-if "fixnum-min - 1"
92 (exact? (- fixnum-min 1))))
93
94 (with-test-prefix "reals"
95
96 ;; (FIXME: need better examples.)
97
98 (pass-if "sqrt (fixnum-max^2 - 1)"
99 (eq? #f (exact? (sqrt (- (expt fixnum-max 2) 1)))))
100
101 (pass-if "sqrt ((fixnum-max+1)^2 - 1)"
102 (eq? #f (exact? (sqrt (- (expt (+ fixnum-max 1) 2) 1)))))))
de142bea
DH		 103
104;;;
105;;; odd?
106;;;
107
7c24e528
RB		 108(with-test-prefix "odd?"
109 (pass-if (documented? odd?))
110 (pass-if (odd? 1))
111 (pass-if (odd? -1))
4d332f19
DH		 112 (pass-if (not (odd? 0)))
113 (pass-if (not (odd? 2)))
114 (pass-if (not (odd? -2)))
7c24e528 115 (pass-if (odd? (+ (* 2 fixnum-max) 1)))
4d332f19 116 (pass-if (not (odd? (* 2 fixnum-max))))
7c24e528 117 (pass-if (odd? (- (* 2 fixnum-min) 1)))
4d332f19 118 (pass-if (not (odd? (* 2 fixnum-min)))))
de142bea
DH		 119
120;;;
121;;; even?
122;;;
123
7c24e528
RB		 124(with-test-prefix "even?"
125 (pass-if (documented? even?))
126 (pass-if (even? 2))
127 (pass-if (even? -2))
128 (pass-if (even? 0))
4d332f19
DH		 129 (pass-if (not (even? 1)))
130 (pass-if (not (even? -1)))
131 (pass-if (not (even? (+ (* 2 fixnum-max) 1))))
7c24e528 132 (pass-if (even? (* 2 fixnum-max)))
4d332f19 133 (pass-if (not (even? (- (* 2 fixnum-min) 1))))
7c24e528 134 (pass-if (even? (* 2 fixnum-min))))
de142bea
DH		 135
136;;;
7c24e528
RB		 137;;; inf? and inf
138;;;
139
140(with-test-prefix "inf?"
141 (pass-if (documented? inf?))
142 (pass-if (inf? (inf)))
143 ;; FIXME: what are the expected behaviors?
144 ;; (pass-if (inf? (/ 1.0 0.0))
145 ;; (pass-if (inf? (/ 1 0.0))
4d332f19
DH		 146 (pass-if (not (inf? 0)))
147 (pass-if (not (inf? 42.0)))
148 (pass-if (not (inf? (+ fixnum-max 1))))
149 (pass-if (not (inf? (- fixnum-min 1)))))
7c24e528
RB		 150
151;;;
152;;; nan? and nan
de142bea
DH		 153;;;
154
7c24e528
RB		 155(with-test-prefix "nan?"
156 (pass-if (documented? nan?))
157 (pass-if (nan? (nan)))
158 ;; FIXME: other ways we should be able to generate NaN?
4d332f19
DH		 159 (pass-if (not (nan? 0)))
160 (pass-if (not (nan? 42.0)))
161 (pass-if (not (nan? (+ fixnum-max 1))))
162 (pass-if (not (nan? (- fixnum-min 1)))))
de142bea 163
7c24e528
RB		 164;;;
165;;; abs
166;;;
167
168(with-test-prefix "abs"
169 (pass-if (documented? abs))
170 (pass-if (zero? (abs 0)))
171 (pass-if (= 1 (abs 1)))
172 (pass-if (= 1 (abs -1)))
173 (pass-if (= (+ fixnum-max 1) (abs (+ fixnum-max 1))))
174 (pass-if (= (+ (- fixnum-min) 1) (abs (- fixnum-min 1))))
175 (pass-if (positive? (abs 1.0)))
176 (pass-if (positive? (abs -1.0))))
177
de142bea
DH		 178;;;
179;;; quotient
180;;;
181
182(with-test-prefix "quotient"
183
de142bea 184 (expect-fail "documented?"
cb18f2a8 185 (documented? quotient))
de142bea 186
de142bea
DH		 187 (with-test-prefix "0 / n"
188
189 (pass-if "n = 1"
190 (eqv? 0 (quotient 0 1)))
191
192 (pass-if "n = -1"
193 (eqv? 0 (quotient 0 -1)))
194
21e39e8f
DH		 195 (pass-if "n = 2"
196 (eqv? 0 (quotient 0 2)))
197
198 (pass-if "n = fixnum-max"
199 (eqv? 0 (quotient 0 fixnum-max)))
200
201 (pass-if "n = fixnum-max + 1"
202 (eqv? 0 (quotient 0 (+ fixnum-max 1))))
203
204 (pass-if "n = fixnum-min"
205 (eqv? 0 (quotient 0 fixnum-min)))
206
207 (pass-if "n = fixnum-min - 1"
208 (eqv? 0 (quotient 0 (- fixnum-min 1)))))
de142bea 209
21e39e8f 210 (with-test-prefix "1 / n"
de142bea
DH		 211
212 (pass-if "n = 1"
213 (eqv? 1 (quotient 1 1)))
214
215 (pass-if "n = -1"
21e39e8f
DH		 216 (eqv? -1 (quotient 1 -1)))
217
218 (pass-if "n = 2"
219 (eqv? 0 (quotient 1 2)))
de142bea 220
21e39e8f
DH		 221 (pass-if "n = fixnum-max"
222 (eqv? 0 (quotient 1 fixnum-max)))
de142bea 223
21e39e8f
DH		 224 (pass-if "n = fixnum-max + 1"
225 (eqv? 0 (quotient 1 (+ fixnum-max 1))))
de142bea 226
21e39e8f
DH		 227 (pass-if "n = fixnum-min"
228 (eqv? 0 (quotient 1 fixnum-min)))
229
230 (pass-if "n = fixnum-min - 1"
231 (eqv? 0 (quotient 1 (- fixnum-min 1)))))
232
233 (with-test-prefix "-1 / n"
de142bea
DH		 234
235 (pass-if "n = 1"
21e39e8f 236 (eqv? -1 (quotient -1 1)))
de142bea
DH		 237
238 (pass-if "n = -1"
239 (eqv? 1 (quotient -1 -1)))
240
21e39e8f
DH		 241 (pass-if "n = 2"
242 (eqv? 0 (quotient -1 2)))
243
244 (pass-if "n = fixnum-max"
245 (eqv? 0 (quotient -1 fixnum-max)))
246
247 (pass-if "n = fixnum-max + 1"
248 (eqv? 0 (quotient -1 (+ fixnum-max 1))))
249
250 (pass-if "n = fixnum-min"
251 (eqv? 0 (quotient -1 fixnum-min)))
252
253 (pass-if "n = fixnum-min - 1"
254 (eqv? 0 (quotient -1 (- fixnum-min 1)))))
255
256 (with-test-prefix "fixnum-max / n"
257
258 (pass-if "n = 1"
259 (eqv? fixnum-max (quotient fixnum-max 1)))
260
261 (pass-if "n = -1"
262 (eqv? (- fixnum-max) (quotient fixnum-max -1)))
263
264 (pass-if "n = 2"
265 (eqv? fixnum-max (+ (* (quotient fixnum-max 2) 2) 1)))
266
267 (pass-if "n = fixnum-max"
268 (eqv? 1 (quotient fixnum-max fixnum-max)))
269
270 (pass-if "n = fixnum-max + 1"
271 (eqv? 0 (quotient fixnum-max (+ fixnum-max 1))))
272
273 (pass-if "n = fixnum-min"
274 (eqv? 0 (quotient fixnum-max fixnum-min)))
275
276 (pass-if "n = fixnum-min - 1"
277 (eqv? 0 (quotient fixnum-max (- fixnum-min 1)))))
278
279 (with-test-prefix "(fixnum-max + 1) / n"
280
281 (pass-if "n = 1"
282 (eqv? (+ fixnum-max 1) (quotient (+ fixnum-max 1) 1)))
283
284 (pass-if "n = -1"
285 (eqv? (- (+ fixnum-max 1)) (quotient (+ fixnum-max 1) -1)))
286
287 (pass-if "n = 2"
288 (eqv? (+ fixnum-max 1) (* (quotient (+ fixnum-max 1) 2) 2)))
289
290 (pass-if "n = fixnum-max"
291 (eqv? 1 (quotient (+ fixnum-max 1) fixnum-max)))
292
293 (pass-if "n = fixnum-max + 1"
294 (eqv? 1 (quotient (+ fixnum-max 1) (+ fixnum-max 1))))
295
296 (pass-if "n = fixnum-min"
297 (eqv? -1 (quotient (+ fixnum-max 1) fixnum-min)))
298
299 (pass-if "n = fixnum-min - 1"
300 (eqv? 0 (quotient (+ fixnum-max 1) (- fixnum-min 1)))))
301
302 (with-test-prefix "fixnum-min / n"
303
304 (pass-if "n = 1"
305 (eqv? fixnum-min (quotient fixnum-min 1)))
306
307 (pass-if "n = -1"
308 (eqv? (- fixnum-min) (quotient fixnum-min -1)))
309
310 (pass-if "n = 2"
311 (eqv? fixnum-min (* (quotient fixnum-min 2) 2)))
312
313 (pass-if "n = fixnum-max"
314 (eqv? -1 (quotient fixnum-min fixnum-max)))
315
316 (pass-if "n = fixnum-max + 1"
317 (eqv? -1 (quotient fixnum-min (+ fixnum-max 1))))
318
319 (pass-if "n = fixnum-min"
320 (eqv? 1 (quotient fixnum-min fixnum-min)))
321
322 (pass-if "n = fixnum-min - 1"
323 (eqv? 0 (quotient fixnum-min (- fixnum-min 1)))))
324
325 (with-test-prefix "(fixnum-min - 1) / n"
326
327 (pass-if "n = 1"
328 (eqv? (- fixnum-min 1) (quotient (- fixnum-min 1) 1)))
329
330 (pass-if "n = -1"
331 (eqv? (- (- fixnum-min 1)) (quotient (- fixnum-min 1) -1)))
332
333 (pass-if "n = 2"
334 (eqv? fixnum-min (* (quotient (- fixnum-min 1) 2) 2)))
335
336 (pass-if "n = fixnum-max"
337 (eqv? -1 (quotient (- fixnum-min 1) fixnum-max)))
338
339 (pass-if "n = fixnum-max + 1"
340 (eqv? -1 (quotient (- fixnum-min 1) (+ fixnum-max 1))))
341
342 (pass-if "n = fixnum-min"
343 (eqv? 1 (quotient (- fixnum-min 1) fixnum-min)))
344
345 (pass-if "n = fixnum-min - 1"
346 (eqv? 1 (quotient (- fixnum-min 1) (- fixnum-min 1)))))
de142bea
DH		 347
348 ;; Positive dividend and divisor
349
350 (pass-if "35 / 7"
351 (eqv? 5 (quotient 35 7)))
352
353 ;; Negative dividend, positive divisor
354
355 (pass-if "-35 / 7"
356 (eqv? -5 (quotient -35 7)))
357
358 ;; Positive dividend, negative divisor
359
360 (pass-if "35 / -7"
361 (eqv? -5 (quotient 35 -7)))
362
363 ;; Negative dividend and divisor
364
365 (pass-if "-35 / -7"
366 (eqv? 5 (quotient -35 -7)))
367
368 ;; Are numerical overflows detected correctly?
369
80074d77
DH		 370 (with-test-prefix "division by zero"
371
372 (pass-if-exception "(quotient 1 0)"
373 exception:numerical-overflow
374 (quotient 1 0))
375
376 (pass-if-exception "(quotient bignum 0)"
377 exception:numerical-overflow
378 (quotient (+ fixnum-max 1) 0)))
379
de142bea
DH		 380 ;; Are wrong type arguments detected correctly?
381
382 )
383
384;;;
385;;; remainder
386;;;
387
388(with-test-prefix "remainder"
389
de142bea 390 (expect-fail "documented?"
cb18f2a8 391 (documented? remainder))
de142bea 392
de142bea
DH		 393 (with-test-prefix "0 / n"
394
395 (pass-if "n = 1"
396 (eqv? 0 (remainder 0 1)))
397
398 (pass-if "n = -1"
399 (eqv? 0 (remainder 0 -1)))
400
21e39e8f
DH		 401 (pass-if "n = fixnum-max"
402 (eqv? 0 (remainder 0 fixnum-max)))
403
404 (pass-if "n = fixnum-max + 1"
405 (eqv? 0 (remainder 0 (+ fixnum-max 1))))
406
407 (pass-if "n = fixnum-min"
408 (eqv? 0 (remainder 0 fixnum-min)))
de142bea 409
21e39e8f
DH		 410 (pass-if "n = fixnum-min - 1"
411 (eqv? 0 (remainder 0 (- fixnum-min 1)))))
de142bea 412
21e39e8f 413 (with-test-prefix "1 / n"
de142bea
DH		 414
415 (pass-if "n = 1"
416 (eqv? 0 (remainder 1 1)))
417
418 (pass-if "n = -1"
21e39e8f
DH		 419 (eqv? 0 (remainder 1 -1)))
420
421 (pass-if "n = fixnum-max"
422 (eqv? 1 (remainder 1 fixnum-max)))
de142bea 423
21e39e8f
DH		 424 (pass-if "n = fixnum-max + 1"
425 (eqv? 1 (remainder 1 (+ fixnum-max 1))))
de142bea 426
21e39e8f
DH		 427 (pass-if "n = fixnum-min"
428 (eqv? 1 (remainder 1 fixnum-min)))
de142bea 429
21e39e8f
DH		 430 (pass-if "n = fixnum-min - 1"
431 (eqv? 1 (remainder 1 (- fixnum-min 1)))))
432
433 (with-test-prefix "-1 / n"
de142bea
DH		 434
435 (pass-if "n = 1"
21e39e8f 436 (eqv? 0 (remainder -1 1)))
de142bea
DH		 437
438 (pass-if "n = -1"
439 (eqv? 0 (remainder -1 -1)))
440
21e39e8f
DH		 441 (pass-if "n = fixnum-max"
442 (eqv? -1 (remainder -1 fixnum-max)))
443
444 (pass-if "n = fixnum-max + 1"
445 (eqv? -1 (remainder -1 (+ fixnum-max 1))))
446
447 (pass-if "n = fixnum-min"
448 (eqv? -1 (remainder -1 fixnum-min)))
449
450 (pass-if "n = fixnum-min - 1"
451 (eqv? -1 (remainder -1 (- fixnum-min 1)))))
452
453 (with-test-prefix "fixnum-max / n"
454
455 (pass-if "n = 1"
456 (eqv? 0 (remainder fixnum-max 1)))
457
458 (pass-if "n = -1"
459 (eqv? 0 (remainder fixnum-max -1)))
460
461 (pass-if "n = fixnum-max"
462 (eqv? 0 (remainder fixnum-max fixnum-max)))
463
464 (pass-if "n = fixnum-max + 1"
465 (eqv? fixnum-max (remainder fixnum-max (+ fixnum-max 1))))
466
467 (pass-if "n = fixnum-min"
468 (eqv? fixnum-max (remainder fixnum-max fixnum-min)))
469
470 (pass-if "n = fixnum-min - 1"
471 (eqv? fixnum-max (remainder fixnum-max (- fixnum-min 1)))))
472
473 (with-test-prefix "(fixnum-max + 1) / n"
474
475 (pass-if "n = 1"
476 (eqv? 0 (remainder (+ fixnum-max 1) 1)))
477
478 (pass-if "n = -1"
479 (eqv? 0 (remainder (+ fixnum-max 1) -1)))
480
481 (pass-if "n = fixnum-max"
482 (eqv? 1 (remainder (+ fixnum-max 1) fixnum-max)))
483
484 (pass-if "n = fixnum-max + 1"
485 (eqv? 0 (remainder (+ fixnum-max 1) (+ fixnum-max 1))))
486
487 (pass-if "n = fixnum-min"
488 (eqv? 0 (remainder (+ fixnum-max 1) fixnum-min)))
489
490 (pass-if "n = fixnum-min - 1"
491 (eqv? (+ fixnum-max 1) (remainder (+ fixnum-max 1) (- fixnum-min 1)))))
492
493 (with-test-prefix "fixnum-min / n"
494
495 (pass-if "n = 1"
496 (eqv? 0 (remainder fixnum-min 1)))
497
498 (pass-if "n = -1"
499 (eqv? 0 (remainder fixnum-min -1)))
500
501 (pass-if "n = fixnum-max"
502 (eqv? -1 (remainder fixnum-min fixnum-max)))
503
504 (pass-if "n = fixnum-max + 1"
505 (eqv? 0 (remainder fixnum-min (+ fixnum-max 1))))
506
507 (pass-if "n = fixnum-min"
508 (eqv? 0 (remainder fixnum-min fixnum-min)))
509
510 (pass-if "n = fixnum-min - 1"
511 (eqv? fixnum-min (remainder fixnum-min (- fixnum-min 1)))))
512
513 (with-test-prefix "(fixnum-min - 1) / n"
514
515 (pass-if "n = 1"
516 (eqv? 0 (remainder (- fixnum-min 1) 1)))
517
518 (pass-if "n = -1"
519 (eqv? 0 (remainder (- fixnum-min 1) -1)))
520
521 (pass-if "n = fixnum-max"
522 (eqv? -2 (remainder (- fixnum-min 1) fixnum-max)))
523
524 (pass-if "n = fixnum-max + 1"
525 (eqv? -1 (remainder (- fixnum-min 1) (+ fixnum-max 1))))
526
527 (pass-if "n = fixnum-min"
528 (eqv? -1 (remainder (- fixnum-min 1) fixnum-min)))
529
530 (pass-if "n = fixnum-min - 1"
531 (eqv? 0 (remainder (- fixnum-min 1) (- fixnum-min 1)))))
de142bea
DH		 532
533 ;; Positive dividend and divisor
534
535 (pass-if "35 / 7"
536 (eqv? 0 (remainder 35 7)))
537
538 ;; Negative dividend, positive divisor
539
540 (pass-if "-35 / 7"
541 (eqv? 0 (remainder -35 7)))
542
543 ;; Positive dividend, negative divisor
544
545 (pass-if "35 / -7"
546 (eqv? 0 (remainder 35 -7)))
547
548 ;; Negative dividend and divisor
549
550 (pass-if "-35 / -7"
551 (eqv? 0 (remainder -35 -7)))
552
553 ;; Are numerical overflows detected correctly?
554
80074d77
DH		 555 (with-test-prefix "division by zero"
556
557 (pass-if-exception "(remainder 1 0)"
558 exception:numerical-overflow
559 (remainder 1 0))
560
561 (pass-if-exception "(remainder bignum 0)"
562 exception:numerical-overflow
563 (remainder (+ fixnum-max 1) 0)))
564
de142bea
DH		 565 ;; Are wrong type arguments detected correctly?
566
567 )
568
569;;;
570;;; modulo
571;;;
572
573(with-test-prefix "modulo"
574
de142bea 575 (expect-fail "documented?"
cb18f2a8 576 (documented? modulo))
de142bea 577
de142bea
DH		 578 (with-test-prefix "0 % n"
579
580 (pass-if "n = 1"
581 (eqv? 0 (modulo 0 1)))
582
583 (pass-if "n = -1"
584 (eqv? 0 (modulo 0 -1)))
585
21e39e8f
DH		 586 (pass-if "n = fixnum-max"
587 (eqv? 0 (modulo 0 fixnum-max)))
588
589 (pass-if "n = fixnum-max + 1"
590 (eqv? 0 (modulo 0 (+ fixnum-max 1))))
de142bea 591
21e39e8f
DH		 592 (pass-if "n = fixnum-min"
593 (eqv? 0 (modulo 0 fixnum-min)))
de142bea 594
21e39e8f
DH		 595 (pass-if "n = fixnum-min - 1"
596 (eqv? 0 (modulo 0 (- fixnum-min 1)))))
597
598 (with-test-prefix "1 % n"
de142bea
DH		 599
600 (pass-if "n = 1"
601 (eqv? 0 (modulo 1 1)))
602
603 (pass-if "n = -1"
21e39e8f 604 (eqv? 0 (modulo 1 -1)))
de142bea 605
21e39e8f
DH		 606 (pass-if "n = fixnum-max"
607 (eqv? 1 (modulo 1 fixnum-max)))
de142bea 608
21e39e8f
DH		 609 (pass-if "n = fixnum-max + 1"
610 (eqv? 1 (modulo 1 (+ fixnum-max 1))))
de142bea 611
21e39e8f
DH		 612 (pass-if "n = fixnum-min"
613 (eqv? (+ fixnum-min 1) (modulo 1 fixnum-min)))
614
615 (pass-if "n = fixnum-min - 1"
616 (eqv? fixnum-min (modulo 1 (- fixnum-min 1)))))
617
618 (with-test-prefix "-1 % n"
de142bea
DH		 619
620 (pass-if "n = 1"
21e39e8f 621 (eqv? 0 (modulo -1 1)))
de142bea
DH		 622
623 (pass-if "n = -1"
624 (eqv? 0 (modulo -1 -1)))
625
21e39e8f
DH		 626 (pass-if "n = fixnum-max"
627 (eqv? (- fixnum-max 1) (modulo -1 fixnum-max)))
628
629 (pass-if "n = fixnum-max + 1"
630 (eqv? fixnum-max (modulo -1 (+ fixnum-max 1))))
631
632 (pass-if "n = fixnum-min"
633 (eqv? -1 (modulo -1 fixnum-min)))
634
635 (pass-if "n = fixnum-min - 1"
636 (eqv? -1 (modulo -1 (- fixnum-min 1)))))
637
638 (with-test-prefix "fixnum-max % n"
639
640 (pass-if "n = 1"
641 (eqv? 0 (modulo fixnum-max 1)))
642
643 (pass-if "n = -1"
644 (eqv? 0 (modulo fixnum-max -1)))
645
646 (pass-if "n = fixnum-max"
647 (eqv? 0 (modulo fixnum-max fixnum-max)))
648
649 (pass-if "n = fixnum-max + 1"
650 (eqv? fixnum-max (modulo fixnum-max (+ fixnum-max 1))))
651
652 (pass-if "n = fixnum-min"
653 (eqv? -1 (modulo fixnum-max fixnum-min)))
654
655 (pass-if "n = fixnum-min - 1"
656 (eqv? -2 (modulo fixnum-max (- fixnum-min 1)))))
657
658 (with-test-prefix "(fixnum-max + 1) % n"
659
660 (pass-if "n = 1"
661 (eqv? 0 (modulo (+ fixnum-max 1) 1)))
662
663 (pass-if "n = -1"
664 (eqv? 0 (modulo (+ fixnum-max 1) -1)))
665
666 (pass-if "n = fixnum-max"
667 (eqv? 1 (modulo (+ fixnum-max 1) fixnum-max)))
668
669 (pass-if "n = fixnum-max + 1"
670 (eqv? 0 (modulo (+ fixnum-max 1) (+ fixnum-max 1))))
671
672 (pass-if "n = fixnum-min"
673 (eqv? 0 (modulo (+ fixnum-max 1) fixnum-min)))
674
675 (pass-if "n = fixnum-min - 1"
676 (eqv? -1 (modulo (+ fixnum-max 1) (- fixnum-min 1)))))
677
678 (with-test-prefix "fixnum-min % n"
679
680 (pass-if "n = 1"
681 (eqv? 0 (modulo fixnum-min 1)))
682
683 (pass-if "n = -1"
684 (eqv? 0 (modulo fixnum-min -1)))
685
686 (pass-if "n = fixnum-max"
687 (eqv? (- fixnum-max 1) (modulo fixnum-min fixnum-max)))
688
689 (pass-if "n = fixnum-max + 1"
690 (eqv? 0 (modulo fixnum-min (+ fixnum-max 1))))
691
692 (pass-if "n = fixnum-min"
693 (eqv? 0 (modulo fixnum-min fixnum-min)))
694
695 (pass-if "n = fixnum-min - 1"
696 (eqv? fixnum-min (modulo fixnum-min (- fixnum-min 1)))))
697
698 (with-test-prefix "(fixnum-min - 1) % n"
699
700 (pass-if "n = 1"
701 (eqv? 0 (modulo (- fixnum-min 1) 1)))
702
703 (pass-if "n = -1"
704 (eqv? 0 (modulo (- fixnum-min 1) -1)))
705
706 (pass-if "n = fixnum-max"
707 (eqv? (- fixnum-max 2) (modulo (- fixnum-min 1) fixnum-max)))
708
709 (pass-if "n = fixnum-max + 1"
710 (eqv? fixnum-max (modulo (- fixnum-min 1) (+ fixnum-max 1))))
711
712 (pass-if "n = fixnum-min"
713 (eqv? -1 (modulo (- fixnum-min 1) fixnum-min)))
714
715 (pass-if "n = fixnum-min - 1"
716 (eqv? 0 (modulo (- fixnum-min 1) (- fixnum-min 1)))))
de142bea
DH		 717
718 ;; Positive dividend and divisor
719
720 (pass-if "13 % 4"
721 (eqv? 1 (modulo 13 4)))
722
723 (pass-if "2177452800 % 86400"
724 (eqv? 0 (modulo 2177452800 86400)))
725
726 ;; Negative dividend, positive divisor
727
728 (pass-if "-13 % 4"
729 (eqv? 3 (modulo -13 4)))
730
731 (pass-if "-2177452800 % 86400"
732 (eqv? 0 (modulo -2177452800 86400)))
733
734 ;; Positive dividend, negative divisor
735
736 (pass-if "13 % -4"
737 (eqv? -3 (modulo 13 -4)))
738
739 (pass-if "2177452800 % -86400"
740 (eqv? 0 (modulo 2177452800 -86400)))
741
742 ;; Negative dividend and divisor
743
744 (pass-if "-13 % -4"
745 (eqv? -1 (modulo -13 -4)))
746
747 (pass-if "-2177452800 % -86400"
748 (eqv? 0 (modulo -2177452800 -86400)))
749
750 ;; Are numerical overflows detected correctly?
751
80074d77
DH		 752 (with-test-prefix "division by zero"
753
754 (pass-if-exception "(modulo 1 0)"
755 exception:numerical-overflow
756 (modulo 1 0))
757
758 (pass-if-exception "(modulo bignum 0)"
759 exception:numerical-overflow
760 (modulo (+ fixnum-max 1) 0)))
761
de142bea
DH		 762 ;; Are wrong type arguments detected correctly?
763
764 )
765
766;;;
767;;; gcd
768;;;
769
770(with-test-prefix "gcd"
771
de142bea 772 (expect-fail "documented?"
cb18f2a8 773 (documented? gcd))
de142bea 774
de142bea
DH		 775 (with-test-prefix "(0 n)"
776
21e39e8f
DH		 777 (pass-if "n = 0"
778 (eqv? 0 (gcd 0 0)))
779
de142bea
DH		 780 (pass-if "n = 1"
781 (eqv? 1 (gcd 0 1)))
782
783 (pass-if "n = -1"
784 (eqv? 1 (gcd 0 -1)))
785
21e39e8f
DH		 786 (pass-if "n = fixnum-max"
787 (eqv? fixnum-max (gcd 0 fixnum-max)))
de142bea 788
21e39e8f
DH		 789 (pass-if "n = fixnum-max + 1"
790 (eqv? (+ fixnum-max 1) (gcd 0 (+ fixnum-max 1))))
de142bea 791
21e39e8f
DH		 792 (pass-if "n = fixnum-min"
793 (eqv? (- fixnum-min) (gcd 0 fixnum-min)))
de142bea 794
21e39e8f
DH		 795 (pass-if "n = fixnum-min - 1"
796 (eqv? (- (- fixnum-min 1)) (gcd 0 (- fixnum-min 1)))))
797
db386f80
KR		 798 (with-test-prefix "(n 0)"
799
800 (pass-if "n = 2^128 * fixnum-max"
801 (eqv? (ash fixnum-max 128) (gcd (ash fixnum-max 128) 0))))
802
21e39e8f
DH		 803 (with-test-prefix "(1 n)"
804
805 (pass-if "n = 0"
de142bea
DH		 806 (eqv? 1 (gcd 1 0)))
807
21e39e8f
DH		 808 (pass-if "n = 1"
809 (eqv? 1 (gcd 1 1)))
810
de142bea 811 (pass-if "n = -1"
21e39e8f
DH		 812 (eqv? 1 (gcd 1 -1)))
813
814 (pass-if "n = fixnum-max"
815 (eqv? 1 (gcd 1 fixnum-max)))
816
817 (pass-if "n = fixnum-max + 1"
818 (eqv? 1 (gcd 1 (+ fixnum-max 1))))
819
820 (pass-if "n = fixnum-min"
821 (eqv? 1 (gcd 1 fixnum-min)))
822
823 (pass-if "n = fixnum-min - 1"
824 (eqv? 1 (gcd 1 (- fixnum-min 1)))))
825
826 (with-test-prefix "(-1 n)"
827
828 (pass-if "n = 0"
de142bea
DH		 829 (eqv? 1 (gcd -1 0)))
830
21e39e8f
DH		 831 (pass-if "n = 1"
832 (eqv? 1 (gcd -1 1)))
de142bea 833
21e39e8f
DH		 834 (pass-if "n = -1"
835 (eqv? 1 (gcd -1 -1)))
de142bea 836
21e39e8f
DH		 837 (pass-if "n = fixnum-max"
838 (eqv? 1 (gcd -1 fixnum-max)))
839
840 (pass-if "n = fixnum-max + 1"
841 (eqv? 1 (gcd -1 (+ fixnum-max 1))))
842
843 (pass-if "n = fixnum-min"
844 (eqv? 1 (gcd -1 fixnum-min)))
845
846 (pass-if "n = fixnum-min - 1"
847 (eqv? 1 (gcd -1 (- fixnum-min 1)))))
848
849 (with-test-prefix "(fixnum-max n)"
850
851 (pass-if "n = 0"
852 (eqv? fixnum-max (gcd fixnum-max 0)))
de142bea
DH		 853
854 (pass-if "n = 1"
21e39e8f 855 (eqv? 1 (gcd fixnum-max 1)))
de142bea
DH		 856
857 (pass-if "n = -1"
21e39e8f
DH		 858 (eqv? 1 (gcd fixnum-max -1)))
859
860 (pass-if "n = fixnum-max"
861 (eqv? fixnum-max (gcd fixnum-max fixnum-max)))
de142bea 862
21e39e8f
DH		 863 (pass-if "n = fixnum-max + 1"
864 (eqv? 1 (gcd fixnum-max (+ fixnum-max 1))))
de142bea 865
21e39e8f
DH		 866 (pass-if "n = fixnum-min"
867 (eqv? 1 (gcd fixnum-max fixnum-min)))
de142bea 868
21e39e8f
DH		 869 (pass-if "n = fixnum-min - 1"
870 (eqv? 1 (gcd fixnum-max (- fixnum-min 1)))))
871
872 (with-test-prefix "((+ fixnum-max 1) n)"
873
874 (pass-if "n = 0"
875 (eqv? (+ fixnum-max 1) (gcd (+ fixnum-max 1) 0)))
876
877 (pass-if "n = 1"
878 (eqv? 1 (gcd (+ fixnum-max 1) 1)))
de142bea
DH		 879
880 (pass-if "n = -1"
21e39e8f 881 (eqv? 1 (gcd (+ fixnum-max 1) -1)))
de142bea 882
21e39e8f
DH		 883 (pass-if "n = fixnum-max"
884 (eqv? 1 (gcd (+ fixnum-max 1) fixnum-max)))
de142bea 885
21e39e8f
DH		 886 (pass-if "n = fixnum-max + 1"
887 (eqv? (+ fixnum-max 1) (gcd (+ fixnum-max 1) (+ fixnum-max 1))))
de142bea 888
21e39e8f
DH		 889 (pass-if "n = fixnum-min"
890 (eqv? (+ fixnum-max 1) (gcd (+ fixnum-max 1) fixnum-min)))
891
892 (pass-if "n = fixnum-min - 1"
893 (eqv? 1 (gcd (+ fixnum-max 1) (- fixnum-min 1)))))
894
895 (with-test-prefix "(fixnum-min n)"
896
897 (pass-if "n = 0"
898 (eqv? (- fixnum-min) (gcd fixnum-min 0)))
899
900 (pass-if "n = 1"
901 (eqv? 1 (gcd fixnum-min 1)))
de142bea
DH		 902
903 (pass-if "n = -1"
21e39e8f
DH		 904 (eqv? 1 (gcd fixnum-min -1)))
905
906 (pass-if "n = fixnum-max"
907 (eqv? 1 (gcd fixnum-min fixnum-max)))
908
909 (pass-if "n = fixnum-max + 1"
910 (eqv? (+ fixnum-max 1) (gcd fixnum-min (+ fixnum-max 1))))
de142bea 911
21e39e8f
DH		 912 (pass-if "n = fixnum-min"
913 (eqv? (- fixnum-min) (gcd fixnum-min fixnum-min)))
914
915 (pass-if "n = fixnum-min - 1"
916 (eqv? 1 (gcd fixnum-min (- fixnum-min 1)))))
917
918 (with-test-prefix "((- fixnum-min 1) n)"
919
920 (pass-if "n = 0"
921 (eqv? (- (- fixnum-min 1)) (gcd (- fixnum-min 1) 0)))
922
923 (pass-if "n = 1"
924 (eqv? 1 (gcd (- fixnum-min 1) 1)))
925
926 (pass-if "n = -1"
927 (eqv? 1 (gcd (- fixnum-min 1) -1)))
928
929 (pass-if "n = fixnum-max"
930 (eqv? 1 (gcd (- fixnum-min 1) fixnum-max)))
931
932 (pass-if "n = fixnum-max + 1"
933 (eqv? 1 (gcd (- fixnum-min 1) (+ fixnum-max 1))))
934
935 (pass-if "n = fixnum-min"
936 (eqv? 1 (gcd (- fixnum-min 1) fixnum-min)))
937
938 (pass-if "n = fixnum-min - 1"
939 (eqv? (- (- fixnum-min 1)) (gcd (- fixnum-min 1) (- fixnum-min 1)))))
de142bea
DH		 940
941 ;; Are wrong type arguments detected correctly?
942
943 )
944
f29b3454
DH		 945;;;
946;;; lcm
947;;;
948
7c24e528
RB		 949(with-test-prefix "lcm"
950 ;; FIXME: more tests?
951 ;; (some of these are already in r4rs.test)
952 (expect-fail (documented? lcm))
953 (pass-if (= (lcm) 1))
954 (pass-if (= (lcm 32 -36) 288))
955 (let ((big-n 115792089237316195423570985008687907853269984665640564039457584007913129639936) ; 2 ^ 256
956 (lcm-of-big-n-and-11 1273712981610478149659280835095566986385969831322046204434033424087044426039296))
957 (pass-if (= lcm-of-big-n-and-11 (lcm big-n 11)))
958 (pass-if (= lcm-of-big-n-and-11 (lcm 11 big-n 11)))))
959
f29b3454
DH		 960;;;
961;;; number->string
962;;;
963
7c24e528
RB		 964(with-test-prefix "number->string"
965 (let ((num->str->num
966 (lambda (n radix)
967 (string->number (number->string n radix) radix))))
968
969 (pass-if (documented? number->string))
970 (pass-if (string=? (number->string 0) "0"))
971 (pass-if (string=? (number->string 171) "171"))
972 (pass-if (= (+ fixnum-max 1) (num->str->num (+ fixnum-max 1) 10)))
973 (pass-if (= (- fixnum-min 1) (num->str->num (- fixnum-min 1) 10)))
974 (pass-if (= (inf) (num->str->num (inf) 10)))
975 (pass-if (= 1.3 (num->str->num 1.3 10)))))
976
f29b3454
DH		 977;;;
978;;; string->number
979;;;
980
2f4a254a
DH		 981(with-test-prefix "string->number"
982
983 (pass-if "string->number"
984 (documented? string->number))
985
986 (pass-if "non number strings"
987 (for-each (lambda (x) (if (string->number x) (throw 'fail)))
569c483b 988 '("" "q" "1q" "6+7iq" "8+9q" "10+11" "13+" "18@19q" "20@q" "23@"
2f4a254a 989 "+25iq" "26i" "-q" "-iq" "i" "5#.0" "8/" "10#11" ".#" "."
569c483b 990 "#o.2" "3.4q" "15.16e17q" "18.19e+q" ".q" ".17#18" "10q" "#b2"
2f4a254a
DH		 991 "#b3" "#b4" "#b5" "#b6" "#b7" "#b8" "#b9" "#ba" "#bb" "#bc"
992 "#bd" "#be" "#bf" "#q" "#b#b1" "#o#o1" "#d#d1" "#x#x1" "#e#e1"
993 "#i#i1" "12@12+0i"))
994 #t)
995
b7d9b1cf
DH		 996 (pass-if "valid number strings"
997 (for-each (lambda (couple)
998 (apply
999 (lambda (x y)
1000 (let ((x (string->number x)))
1001 (if (or (eq? x #f) (not (eqv? x y))) (throw 'fail))))
1002 couple))
1003 `(;; Radix:
1004 ("#b0" 0) ("#B0" 0) ("#b1" 1) ("#B1" 1) ("#o0" 0) ("#O0" 0)
1005 ("#o1" 1) ("#O1" 1) ("#o2" 2) ("#O2" 2) ("#o3" 3) ("#O3" 3)
1006 ("#o4" 4) ("#O4" 4) ("#o5" 5) ("#O5" 5) ("#o6" 6) ("#O6" 6)
1007 ("#o7" 7) ("#O7" 7) ("#d0" 0) ("#D0" 0) ("#d1" 1) ("#D1" 1)
1008 ("#d2" 2) ("#D2" 2) ("#d3" 3) ("#D3" 3) ("#d4" 4) ("#D4" 4)
1009 ("#d5" 5) ("#D5" 5) ("#d6" 6) ("#D6" 6) ("#d7" 7) ("#D7" 7)
1010 ("#d8" 8) ("#D8" 8) ("#d9" 9) ("#D9" 9)
1011 ("#xa" 10) ("#Xa" 10) ("#xb" 11) ("#Xb" 11)
1012 ("#xc" 12) ("#Xc" 12) ("#xd" 13) ("#Xd" 13)
1013 ("#xe" 14) ("#Xe" 14) ("#xf" 15) ("#Xf" 15)
1014 ("#b1010" 10)
1015 ("#o12345670" 2739128)
1016 ("#d1234567890" 1234567890)
1017 ("#x1234567890abcdef" 1311768467294899695)
1018 ;; Exactness:
1019 ("#e1" 1) ("#e1.2" 1) ("#i1.1" 1.1) ("#i1" 1.0)
1020 ;; Integers:
1021 ("1" ,(1+ 0)) ("23" ,(+ 9 9 5)) ("-1" ,(- 0 1))
1022 ("-45" ,(- 0 45)) ("2#" 20.0) ("2##" 200.0) ("12##" 1200.0)
1023 ("#b#i100" 4.0)
1024 ;; Rationals:
1025 ("1/1" 1) ("1/2" 0.5) ("-1/2" -0.5) ("1#/1" 10.0)
1026 ("10/1#" 1.0) ("1#/1#" 1.0) ("#e9/10" 1) ("#e10/1#" 1)
1027 ("#i6/8" 0.75) ("#i1/1" 1.0)
1028 ;; Decimal numbers:
1029 ;; * <uinteger 10> <suffix>
1030 ("1e2" 100.0) ("1E2" 100.0) ("1s2" 100.0) ("1S2" 100.0)
1031 ("1f2" 100.0) ("1F2" 100.0) ("1d2" 100.0) ("1D2" 100.0)
1032 ("1l2" 100.0) ("1L2" 100.0) ("1e+2" 100.0) ("1e-2" 0.01)
1033 ;; * . <digit 10>+ #* <suffix>
1034 (".1" .1) (".0123456789" 123456789e-10) (".16#" 0.16)
1035 (".0123456789e10" 123456789.0) (".16#e3" 160.0) ("#d.3" 0.3)
1036 ;; * <digit 10>+ . <digit 10>* #* <suffix>
1037 ("3." ,(exact->inexact 3)) ("3.e0" ,(exact->inexact 3))
1038 ("3.1" ,(exact->inexact 31/10)) ("3.1e0" 3.1) ("3.1#" 3.1)
1039 ("3.1#e0" 3.1)
1040 ;; * <digit 10>+ #+ . #* <suffix>
1041 ("3#." 30.0) ("3#.e0" 30.0) ("3#.#" 30.0) ("3#.#e0" 30.0)
1042 ;; Complex:
1043 ("1@0" 1.0) ("1@+0" 1.0) ("1@-0" 1.0)
1044 ("2+3i" ,(+ 2 (* 3 +i))) ("4-5i" ,(- 4 (* 5 +i)))
1045 ("1+i" 1+1i) ("1-i" 1-1i) ("+1i" 0+1i) ("-1i" 0-1i)
1046 ("+i" +1i) ("-i" -1i)))
1047 #t)
1048
2f4a254a
DH		 1049 (pass-if-exception "exponent too big"
1050 exception:out-of-range
1051 (string->number "12.13e141414")))
1052
f29b3454
DH		 1053;;;
1054;;; number?
1055;;;
1056
7c24e528
RB		 1057(with-test-prefix "number?"
1058 (pass-if (documented? number?))
1059 (pass-if (number? 0))
1060 (pass-if (number? 7))
1061 (pass-if (number? -7))
1062 (pass-if (number? 1.3))
1063 (pass-if (number? (+ 1 fixnum-max)))
1064 (pass-if (number? (- 1 fixnum-min)))
1065 (pass-if (number? 3+4i))
4d332f19
DH		 1066 (pass-if (not (number? #\a)))
1067 (pass-if (not (number? "a")))
1068 (pass-if (not (number? (make-vector 0))))
1069 (pass-if (not (number? (cons 1 2))))
1070 (pass-if (not (number? #t)))
1071 (pass-if (not (number? (lambda () #t))))
1072 (pass-if (not (number? (current-input-port)))))
7c24e528 1073
f29b3454
DH		 1074;;;
1075;;; complex?
1076;;;
1077
7c24e528
RB		 1078(with-test-prefix "complex?"
1079 (pass-if (documented? complex?))
1080 (pass-if (complex? 0))
1081 (pass-if (complex? 7))
1082 (pass-if (complex? -7))
1083 (pass-if (complex? (+ 1 fixnum-max)))
1084 (pass-if (complex? (- 1 fixnum-min)))
1085 (pass-if (complex? 1.3))
1086 (pass-if (complex? 3+4i))
4d332f19
DH		 1087 (pass-if (not (complex? #\a)))
1088 (pass-if (not (complex? "a")))
1089 (pass-if (not (complex? (make-vector 0))))
1090 (pass-if (not (complex? (cons 1 2))))
1091 (pass-if (not (complex? #t)))
1092 (pass-if (not (complex? (lambda () #t))))
1093 (pass-if (not (complex? (current-input-port)))))
7c24e528 1094
f29b3454
DH		 1095;;;
1096;;; real?
1097;;;
1098
7c24e528
RB		 1099(with-test-prefix "real?"
1100 (pass-if (documented? real?))
1101 (pass-if (real? 0))
1102 (pass-if (real? 7))
1103 (pass-if (real? -7))
1104 (pass-if (real? (+ 1 fixnum-max)))
1105 (pass-if (real? (- 1 fixnum-min)))
1106 (pass-if (real? 1.3))
4d332f19
DH		 1107 (pass-if (not (real? 3+4i)))
1108 (pass-if (not (real? #\a)))
1109 (pass-if (not (real? "a")))
1110 (pass-if (not (real? (make-vector 0))))
1111 (pass-if (not (real? (cons 1 2))))
1112 (pass-if (not (real? #t)))
1113 (pass-if (not (real? (lambda () #t))))
1114 (pass-if (not (real? (current-input-port)))))
7c24e528 1115
f29b3454 1116;;;
7c24e528 1117;;; rational? (same as real? right now)
f29b3454
DH		 1118;;;
1119
7c24e528
RB		 1120(with-test-prefix "rational?"
1121 (pass-if (documented? rational?))
1122 (pass-if (rational? 0))
1123 (pass-if (rational? 7))
1124 (pass-if (rational? -7))
1125 (pass-if (rational? (+ 1 fixnum-max)))
1126 (pass-if (rational? (- 1 fixnum-min)))
1127 (pass-if (rational? 1.3))
4d332f19
DH		 1128 (pass-if (not (rational? 3+4i)))
1129 (pass-if (not (rational? #\a)))
1130 (pass-if (not (rational? "a")))
1131 (pass-if (not (rational? (make-vector 0))))
1132 (pass-if (not (rational? (cons 1 2))))
1133 (pass-if (not (rational? #t)))
1134 (pass-if (not (rational? (lambda () #t))))
1135 (pass-if (not (rational? (current-input-port)))))
7c24e528 1136
f29b3454
DH		 1137;;;
1138;;; integer?
1139;;;
1140
7c24e528
RB		 1141(with-test-prefix "integer?"
1142 (pass-if (documented? integer?))
1143 (pass-if (integer? 0))
1144 (pass-if (integer? 7))
1145 (pass-if (integer? -7))
1146 (pass-if (integer? (+ 1 fixnum-max)))
1147 (pass-if (integer? (- 1 fixnum-min)))
1148 (pass-if (and (= 3+0i (round 3+0i)) (integer? 3+0i)))
1149 (pass-if (and (= 1.0 (round 1.0)) (integer? 1.0)))
4d332f19
DH		 1150 (pass-if (not (integer? 1.3)))
1151 (pass-if (not (integer? 3+4i)))
1152 (pass-if (not (integer? #\a)))
1153 (pass-if (not (integer? "a")))
1154 (pass-if (not (integer? (make-vector 0))))
1155 (pass-if (not (integer? (cons 1 2))))
1156 (pass-if (not (integer? #t)))
1157 (pass-if (not (integer? (lambda () #t))))
1158 (pass-if (not (integer? (current-input-port)))))
7c24e528 1159
f29b3454
DH		 1160;;;
1161;;; inexact?
1162;;;
1163
7c24e528
RB		 1164(with-test-prefix "inexact?"
1165 (pass-if (documented? inexact?))
4d332f19
DH		 1166 (pass-if (not (inexact? 0)))
1167 (pass-if (not (inexact? 7)))
1168 (pass-if (not (inexact? -7)))
1169 (pass-if (not (inexact? (+ 1 fixnum-max))))
1170 (pass-if (not (inexact? (- 1 fixnum-min))))
7c24e528
RB		 1171 (pass-if (inexact? 1.3))
1172 (pass-if (inexact? 3.1+4.2i))
4d332f19
DH		 1173 (pass-if (not (inexact? #\a)))
1174 (pass-if (not (inexact? "a")))
1175 (pass-if (not (inexact? (make-vector 0))))
1176 (pass-if (not (inexact? (cons 1 2))))
1177 (pass-if (not (inexact? #t)))
1178 (pass-if (not (inexact? (lambda () #t))))
1179 (pass-if (not (inexact? (current-input-port)))))
7c24e528 1180
47ae1f0e
DH		 1181;;;
1182;;; equal?
1183;;;
1184
1185(with-test-prefix "equal?"
1186 (pass-if (documented? equal?))
1187 (pass-if (equal? 0 0))
1188 (pass-if (equal? 7 7))
1189 (pass-if (equal? -7 -7))
1190 (pass-if (equal? (+ 1 fixnum-max) (+ 1 fixnum-max)))
1191 (pass-if (equal? (- fixnum-min 1) (- fixnum-min 1)))
1192 (pass-if (not (equal? 0 1)))
1193 (pass-if (not (equal? fixnum-max (+ 1 fixnum-max))))
1194 (pass-if (not (equal? (+ 1 fixnum-max) fixnum-max)))
1195 (pass-if (not (equal? (+ 1 fixnum-max) (+ 2 fixnum-max))))
1196 (pass-if (not (equal? fixnum-min (- fixnum-min 1))))
1197 (pass-if (not (equal? (- fixnum-min 1) fixnum-min)))
1198 (pass-if (not (equal? (- fixnum-min 1) (- fixnum-min 2))))
1199 (pass-if (not (equal? (+ fixnum-max 1) (- fixnum-min 1))))
1200
1201 (pass-if (not (equal? (ash 1 256) +inf.0)))
1202 (pass-if (not (equal? +inf.0 (ash 1 256))))
1203 (pass-if (not (equal? (ash 1 256) -inf.0)))
1204 (pass-if (not (equal? -inf.0 (ash 1 256))))
1205
1206 ;; in gmp prior to 4.2, mpz_cmp_d ended up treating Inf as 2^1024, make
1207 ;; sure we've avoided that
1208 (pass-if (not (equal? (ash 1 1024) +inf.0)))
1209 (pass-if (not (equal? +inf.0 (ash 1 1024))))
1210 (pass-if (not (equal? (- (ash 1 1024)) -inf.0)))
1211 (pass-if (not (equal? -inf.0 (- (ash 1 1024)))))
1212
1213 (pass-if (not (equal? +nan.0 +nan.0)))
1214 (pass-if (not (equal? 0 +nan.0)))
1215 (pass-if (not (equal? +nan.0 0)))
1216 (pass-if (not (equal? 1 +nan.0)))
1217 (pass-if (not (equal? +nan.0 1)))
1218 (pass-if (not (equal? -1 +nan.0)))
1219 (pass-if (not (equal? +nan.0 -1)))
1220
1221 (pass-if (not (equal? (ash 1 256) +nan.0)))
1222 (pass-if (not (equal? +nan.0 (ash 1 256))))
1223 (pass-if (not (equal? (- (ash 1 256)) +nan.0)))
1224 (pass-if (not (equal? +nan.0 (- (ash 1 256)))))
1225
1226 (pass-if (not (equal? (ash 1 8192) +nan.0)))
1227 (pass-if (not (equal? +nan.0 (ash 1 8192))))
1228 (pass-if (not (equal? (- (ash 1 8192)) +nan.0)))
1229 (pass-if (not (equal? +nan.0 (- (ash 1 8192)))))
1230
1231 ;; in gmp prior to 4.2, mpz_cmp_d ended up treating NaN as 3*2^1023, make
1232 ;; sure we've avoided that
1233 (pass-if (not (equal? (ash 3 1023) +nan.0)))
1234 (pass-if (not (equal? +nan.0 (ash 3 1023)))))
1235
f29b3454
DH		 1236;;;
1237;;; =
1238;;;
1239
7c24e528
RB		 1240(with-test-prefix "="
1241 (expect-fail (documented? =))
1242 (pass-if (= 0 0))
1243 (pass-if (= 7 7))
1244 (pass-if (= -7 -7))
1245 (pass-if (= (+ 1 fixnum-max) (+ 1 fixnum-max)))
47ae1f0e 1246 (pass-if (= (- fixnum-min 1) (- fixnum-min 1)))
4d332f19
DH		 1247 (pass-if (not (= 0 1)))
1248 (pass-if (not (= fixnum-max (+ 1 fixnum-max))))
1249 (pass-if (not (= (+ 1 fixnum-max) fixnum-max)))
47ae1f0e 1250 (pass-if (not (= (+ 1 fixnum-max) (+ 2 fixnum-max))))
4d332f19
DH		 1251 (pass-if (not (= fixnum-min (- fixnum-min 1))))
1252 (pass-if (not (= (- fixnum-min 1) fixnum-min)))
47ae1f0e 1253 (pass-if (not (= (- fixnum-min 1) (- fixnum-min 2))))
4d332f19 1254 (pass-if (not (= (+ fixnum-max 1) (- fixnum-min 1))))
2cfcaed5 1255
adda36ed
KR		 1256 (pass-if (not (= (ash 1 256) +inf.0)))
1257 (pass-if (not (= +inf.0 (ash 1 256))))
1258 (pass-if (not (= (ash 1 256) -inf.0)))
1259 (pass-if (not (= -inf.0 (ash 1 256))))
1260
1261 ;; in gmp prior to 4.2, mpz_cmp_d ended up treating Inf as 2^1024, make
1262 ;; sure we've avoided that
1263 (pass-if (not (= (ash 1 1024) +inf.0)))
1264 (pass-if (not (= +inf.0 (ash 1 1024))))
1265 (pass-if (not (= (- (ash 1 1024)) -inf.0)))
1266 (pass-if (not (= -inf.0 (- (ash 1 1024)))))
1267
2cfcaed5
KR		 1268 (pass-if (not (= +nan.0 +nan.0)))
1269 (pass-if (not (= 0 +nan.0)))
1270 (pass-if (not (= +nan.0 0)))
1271 (pass-if (not (= 1 +nan.0)))
1272 (pass-if (not (= +nan.0 1)))
1273 (pass-if (not (= -1 +nan.0)))
1274 (pass-if (not (= +nan.0 -1)))
1275
1276 (pass-if (not (= (ash 1 256) +nan.0)))
1277 (pass-if (not (= +nan.0 (ash 1 256))))
1278 (pass-if (not (= (- (ash 1 256)) +nan.0)))
1279 (pass-if (not (= +nan.0 (- (ash 1 256)))))
1280
1281 (pass-if (not (= (ash 1 8192) +nan.0)))
1282 (pass-if (not (= +nan.0 (ash 1 8192))))
1283 (pass-if (not (= (- (ash 1 8192)) +nan.0)))
1284 (pass-if (not (= +nan.0 (- (ash 1 8192)))))
1285
1286 ;; in gmp prior to 4.2, mpz_cmp_d ended up treating NaN as 3*2^1023, make
1287 ;; sure we've avoided that
1288 (pass-if (not (= (ash 3 1023) +nan.0)))
1289 (pass-if (not (= +nan.0 (ash 3 1023)))))
7c24e528 1290
de142bea
DH		 1291;;;
1292;;; <
1293;;;
1294
1295(with-test-prefix "<"
1296
de142bea 1297 (expect-fail "documented?"
cb18f2a8 1298 (documented? <))
de142bea 1299
de142bea
DH		 1300 (with-test-prefix "(< 0 n)"
1301
1302 (pass-if "n = 0"
1303 (not (< 0 0)))
1304
1305 (pass-if "n = 0.0"
1306 (not (< 0 0.0)))
1307
1308 (pass-if "n = 1"
1309 (< 0 1))
1310
1311 (pass-if "n = 1.0"
1312 (< 0 1.0))
1313
1314 (pass-if "n = -1"
1315 (not (< 0 -1)))
1316
1317 (pass-if "n = -1.0"
1318 (not (< 0 -1.0)))
1319
21e39e8f
DH		 1320 (pass-if "n = fixnum-max"
1321 (< 0 fixnum-max))
1322
1323 (pass-if "n = fixnum-max + 1"
1324 (< 0 (+ fixnum-max 1)))
1325
1326 (pass-if "n = fixnum-min"
1327 (not (< 0 fixnum-min)))
de142bea 1328
21e39e8f
DH		 1329 (pass-if "n = fixnum-min - 1"
1330 (not (< 0 (- fixnum-min 1)))))
1331
de142bea
DH		 1332 (with-test-prefix "(< 0.0 n)"
1333
1334 (pass-if "n = 0"
1335 (not (< 0.0 0)))
1336
1337 (pass-if "n = 0.0"
1338 (not (< 0.0 0.0)))
1339
1340 (pass-if "n = 1"
1341 (< 0.0 1))
1342
1343 (pass-if "n = 1.0"
1344 (< 0.0 1.0))
1345
1346 (pass-if "n = -1"
1347 (not (< 0.0 -1)))
1348
1349 (pass-if "n = -1.0"
1350 (not (< 0.0 -1.0)))
1351
21e39e8f
DH		 1352 (pass-if "n = fixnum-max"
1353 (< 0.0 fixnum-max))
1354
1355 (pass-if "n = fixnum-max + 1"
1356 (< 0.0 (+ fixnum-max 1)))
de142bea 1357
21e39e8f
DH		 1358 (pass-if "n = fixnum-min"
1359 (not (< 0.0 fixnum-min)))
1360
1361 (pass-if "n = fixnum-min - 1"
1362 (not (< 0.0 (- fixnum-min 1)))))
1363
1364 (with-test-prefix "(< 1 n)"
de142bea 1365
21e39e8f 1366 (pass-if "n = 0"
de142bea
DH		 1367 (not (< 1 0)))
1368
21e39e8f
DH		 1369 (pass-if "n = 0.0"
1370 (not (< 1 0.0)))
1371
1372 (pass-if "n = 1"
1373 (not (< 1 1)))
1374
de142bea 1375 (pass-if "n = 1.0"
21e39e8f
DH		 1376 (not (< 1 1.0)))
1377
1378 (pass-if "n = -1"
1379 (not (< 1 -1)))
1380
1381 (pass-if "n = -1.0"
1382 (not (< 1 -1.0)))
1383
1384 (pass-if "n = fixnum-max"
1385 (< 1 fixnum-max))
1386
1387 (pass-if "n = fixnum-max + 1"
1388 (< 1 (+ fixnum-max 1)))
1389
1390 (pass-if "n = fixnum-min"
1391 (not (< 1 fixnum-min)))
1392
1393 (pass-if "n = fixnum-min - 1"
1394 (not (< 1 (- fixnum-min 1)))))
1395
1396 (with-test-prefix "(< 1.0 n)"
1397
1398 (pass-if "n = 0"
de142bea
DH		 1399 (not (< 1.0 0)))
1400
21e39e8f
DH		 1401 (pass-if "n = 0.0"
1402 (not (< 1.0 0.0)))
1403
1404 (pass-if "n = 1"
1405 (not (< 1.0 1)))
1406
1407 (pass-if "n = 1.0"
1408 (not (< 1.0 1.0)))
1409
de142bea 1410 (pass-if "n = -1"
21e39e8f
DH		 1411 (not (< 1.0 -1)))
1412
1413 (pass-if "n = -1.0"
1414 (not (< 1.0 -1.0)))
1415
1416 (pass-if "n = fixnum-max"
1417 (< 1.0 fixnum-max))
1418
1419 (pass-if "n = fixnum-max + 1"
1420 (< 1.0 (+ fixnum-max 1)))
1421
1422 (pass-if "n = fixnum-min"
1423 (not (< 1.0 fixnum-min)))
1424
1425 (pass-if "n = fixnum-min - 1"
1426 (not (< 1.0 (- fixnum-min 1)))))
1427
1428 (with-test-prefix "(< -1 n)"
1429
1430 (pass-if "n = 0"
de142bea
DH		 1431 (< -1 0))
1432
21e39e8f
DH		 1433 (pass-if "n = 0.0"
1434 (< -1 0.0))
1435
1436 (pass-if "n = 1"
1437 (< -1 1))
1438
1439 (pass-if "n = 1.0"
1440 (< -1 1.0))
1441
1442 (pass-if "n = -1"
1443 (not (< -1 -1)))
1444
de142bea 1445 (pass-if "n = -1.0"
21e39e8f
DH		 1446 (not (< -1 -1.0)))
1447
1448 (pass-if "n = fixnum-max"
1449 (< -1 fixnum-max))
1450
1451 (pass-if "n = fixnum-max + 1"
1452 (< -1 (+ fixnum-max 1)))
1453
1454 (pass-if "n = fixnum-min"
1455 (not (< -1 fixnum-min)))
1456
1457 (pass-if "n = fixnum-min - 1"
1458 (not (< -1 (- fixnum-min 1)))))
1459
1460 (with-test-prefix "(< -1.0 n)"
1461
1462 (pass-if "n = 0"
de142bea
DH		 1463 (< -1.0 0))
1464
21e39e8f
DH		 1465 (pass-if "n = 0.0"
1466 (< -1.0 0.0))
1467
1468 (pass-if "n = 1"
1469 (< -1.0 1))
1470
1471 (pass-if "n = 1.0"
1472 (< -1.0 1.0))
1473
1474 (pass-if "n = -1"
1475 (not (< -1.0 -1)))
1476
1477 (pass-if "n = -1.0"
1478 (not (< -1.0 -1.0)))
1479
1480 (pass-if "n = fixnum-max"
1481 (< -1.0 fixnum-max))
1482
1483 (pass-if "n = fixnum-max + 1"
1484 (< -1.0 (+ fixnum-max 1)))
de142bea 1485
21e39e8f
DH		 1486 (pass-if "n = fixnum-min"
1487 (not (< -1.0 fixnum-min)))
1488
1489 (pass-if "n = fixnum-min - 1"
1490 (not (< -1.0 (- fixnum-min 1)))))
1491
1492 (with-test-prefix "(< fixnum-max n)"
1493
1494 (pass-if "n = 0"
1495 (not (< fixnum-max 0)))
1496
1497 (pass-if "n = 0.0"
1498 (not (< fixnum-max 0.0)))
de142bea
DH		 1499
1500 (pass-if "n = 1"
21e39e8f 1501 (not (< fixnum-max 1)))
de142bea
DH		 1502
1503 (pass-if "n = 1.0"
21e39e8f 1504 (not (< fixnum-max 1.0)))
de142bea
DH		 1505
1506 (pass-if "n = -1"
21e39e8f 1507 (not (< fixnum-max -1)))
de142bea
DH		 1508
1509 (pass-if "n = -1.0"
21e39e8f 1510 (not (< fixnum-max -1.0)))
de142bea 1511
21e39e8f
DH		 1512 (pass-if "n = fixnum-max"
1513 (not (< fixnum-max fixnum-max)))
de142bea 1514
21e39e8f
DH		 1515 (pass-if "n = fixnum-max + 1"
1516 (< fixnum-max (+ fixnum-max 1)))
1517
1518 (pass-if "n = fixnum-min"
1519 (not (< fixnum-max fixnum-min)))
1520
1521 (pass-if "n = fixnum-min - 1"
1522 (not (< fixnum-max (- fixnum-min 1)))))
1523
1524 (with-test-prefix "(< (+ fixnum-max 1) n)"
1525
1526 (pass-if "n = 0"
1527 (not (< (+ fixnum-max 1) 0)))
1528
1529 (pass-if "n = 0.0"
1530 (not (< (+ fixnum-max 1) 0.0)))
de142bea
DH		 1531
1532 (pass-if "n = 1"
21e39e8f 1533 (not (< (+ fixnum-max 1) 1)))
de142bea
DH		 1534
1535 (pass-if "n = 1.0"
21e39e8f 1536 (not (< (+ fixnum-max 1) 1.0)))
de142bea
DH		 1537
1538 (pass-if "n = -1"
21e39e8f 1539 (not (< (+ fixnum-max 1) -1)))
de142bea
DH		 1540
1541 (pass-if "n = -1.0"
21e39e8f 1542 (not (< (+ fixnum-max 1) -1.0)))
de142bea 1543
21e39e8f
DH		 1544 (pass-if "n = fixnum-max"
1545 (not (< (+ fixnum-max 1) fixnum-max)))
de142bea 1546
21e39e8f
DH		 1547 (pass-if "n = fixnum-max + 1"
1548 (not (< (+ fixnum-max 1) (+ fixnum-max 1))))
de142bea 1549
21e39e8f
DH		 1550 (pass-if "n = fixnum-min"
1551 (not (< (+ fixnum-max 1) fixnum-min)))
1552
1553 (pass-if "n = fixnum-min - 1"
1554 (not (< (+ fixnum-max 1) (- fixnum-min 1)))))
1555
1556 (with-test-prefix "(< fixnum-min n)"
1557
1558 (pass-if "n = 0"
1559 (< fixnum-min 0))
1560
1561 (pass-if "n = 0.0"
1562 (< fixnum-min 0.0))
de142bea
DH		 1563
1564 (pass-if "n = 1"
21e39e8f 1565 (< fixnum-min 1))
de142bea
DH		 1566
1567 (pass-if "n = 1.0"
21e39e8f 1568 (< fixnum-min 1.0))
de142bea
DH		 1569
1570 (pass-if "n = -1"
21e39e8f 1571 (< fixnum-min -1))
de142bea
DH		 1572
1573 (pass-if "n = -1.0"
21e39e8f 1574 (< fixnum-min -1.0))
de142bea 1575
21e39e8f
DH		 1576 (pass-if "n = fixnum-max"
1577 (< fixnum-min fixnum-max))
1578
1579 (pass-if "n = fixnum-max + 1"
1580 (< fixnum-min (+ fixnum-max 1)))
de142bea 1581
21e39e8f
DH		 1582 (pass-if "n = fixnum-min"
1583 (not (< fixnum-min fixnum-min)))
de142bea 1584
21e39e8f
DH		 1585 (pass-if "n = fixnum-min - 1"
1586 (not (< fixnum-min (- fixnum-min 1)))))
1587
1588 (with-test-prefix "(< (- fixnum-min 1) n)"
1589
1590 (pass-if "n = 0"
1591 (< (- fixnum-min 1) 0))
1592
1593 (pass-if "n = 0.0"
1594 (< (- fixnum-min 1) 0.0))
1595
1596 (pass-if "n = 1"
1597 (< (- fixnum-min 1) 1))
1598
1599 (pass-if "n = 1.0"
1600 (< (- fixnum-min 1) 1.0))
de142bea
DH		 1601
1602 (pass-if "n = -1"
21e39e8f 1603 (< (- fixnum-min 1) -1))
de142bea
DH		 1604
1605 (pass-if "n = -1.0"
21e39e8f
DH		 1606 (< (- fixnum-min 1) -1.0))
1607
1608 (pass-if "n = fixnum-max"
1609 (< (- fixnum-min 1) fixnum-max))
1610
1611 (pass-if "n = fixnum-max + 1"
1612 (< (- fixnum-min 1) (+ fixnum-max 1)))
1613
1614 (pass-if "n = fixnum-min"
1615 (< (- fixnum-min 1) fixnum-min))
1616
1617 (pass-if "n = fixnum-min - 1"
2cfcaed5
KR		 1618 (not (< (- fixnum-min 1) (- fixnum-min 1)))))
1619
adda36ed
KR		 1620 (pass-if (< (ash 1 256) +inf.0))
1621 (pass-if (not (< +inf.0 (ash 1 256))))
1622 (pass-if (not (< (ash 1 256) -inf.0)))
1623 (pass-if (< -inf.0 (ash 1 256)))
1624
1625 ;; in gmp prior to 4.2, mpz_cmp_d ended up treating Inf as 2^1024, make
1626 ;; sure we've avoided that
1627 (pass-if (< (1- (ash 1 1024)) +inf.0))
1628 (pass-if (< (ash 1 1024) +inf.0))
1629 (pass-if (< (1+ (ash 1 1024)) +inf.0))
1630 (pass-if (not (< +inf.0 (1- (ash 1 1024)))))
1631 (pass-if (not (< +inf.0 (ash 1 1024))))
1632 (pass-if (not (< +inf.0 (1+ (ash 1 1024)))))
1633 (pass-if (< -inf.0 (- (1- (ash 1 1024)))))
1634 (pass-if (< -inf.0 (- (ash 1 1024))))
1635 (pass-if (< -inf.0 (- (1+ (ash 1 1024)))))
1636 (pass-if (not (< (- (1- (ash 1 1024))) -inf.0)))
1637 (pass-if (not (< (- (ash 1 1024)) -inf.0)))
1638 (pass-if (not (< (- (1+ (ash 1 1024))) -inf.0)))
1639
2cfcaed5
KR		 1640 (pass-if (not (< +nan.0 +nan.0)))
1641 (pass-if (not (< 0 +nan.0)))
1642 (pass-if (not (< +nan.0 0)))
1643 (pass-if (not (< 1 +nan.0)))
1644 (pass-if (not (< +nan.0 1)))
1645 (pass-if (not (< -1 +nan.0)))
1646 (pass-if (not (< +nan.0 -1)))
1647
1648 (pass-if (not (< (ash 1 256) +nan.0)))
1649 (pass-if (not (< +nan.0 (ash 1 256))))
1650 (pass-if (not (< (- (ash 1 256)) +nan.0)))
1651 (pass-if (not (< +nan.0 (- (ash 1 256)))))
1652
1653 (pass-if (not (< (ash 1 8192) +nan.0)))
1654 (pass-if (not (< +nan.0 (ash 1 8192))))
1655 (pass-if (not (< (- (ash 1 8192)) +nan.0)))
1656 (pass-if (not (< +nan.0 (- (ash 1 8192)))))
1657
1658 ;; in gmp prior to 4.2, mpz_cmp_d ended up treating NaN as 3*2^1023, make
1659 ;; sure we've avoided that
1660 (pass-if (not (< (ash 3 1023) +nan.0)))
1661 (pass-if (not (< (1+ (ash 3 1023)) +nan.0)))
1662 (pass-if (not (< (1- (ash 3 1023)) +nan.0)))
1663 (pass-if (not (< +nan.0 (ash 3 1023))))
1664 (pass-if (not (< +nan.0 (1+ (ash 3 1023)))))
1665 (pass-if (not (< +nan.0 (1- (ash 3 1023))))))
f29b3454
DH		 1666
1667;;;
1668;;; >
1669;;;
1670
7c24e528
RB		 1671;; currently not tested -- implementation is trivial
1672;; (> x y) is implemented as (< y x)
1673;; FIXME: tests should probably be added in case we change implementation.
1674
f29b3454
DH		 1675;;;
1676;;; <=
1677;;;
1678
7c24e528
RB		 1679;; currently not tested -- implementation is trivial
1680;; (<= x y) is implemented as (not (< y x))
1681;; FIXME: tests should probably be added in case we change implementation.
1682
f29b3454
DH		 1683;;;
1684;;; >=
1685;;;
1686
7c24e528
RB		 1687;; currently not tested -- implementation is trivial
1688;; (>= x y) is implemented as (not (< x y))
1689;; FIXME: tests should probably be added in case we change implementation.
1690
f29b3454
DH		 1691;;;
1692;;; zero?
1693;;;
1694
7c24e528
RB		 1695(with-test-prefix "zero?"
1696 (expect-fail (documented? zero?))
1697 (pass-if (zero? 0))
4d332f19
DH		 1698 (pass-if (not (zero? 7)))
1699 (pass-if (not (zero? -7)))
1700 (pass-if (not (zero? (+ 1 fixnum-max))))
1701 (pass-if (not (zero? (- 1 fixnum-min))))
1702 (pass-if (not (zero? 1.3)))
1703 (pass-if (not (zero? 3.1+4.2i))))
7c24e528 1704
f29b3454
DH		 1705;;;
1706;;; positive?
1707;;;
1708
7c24e528
RB		 1709(with-test-prefix "positive?"
1710 (expect-fail (documented? positive?))
1711 (pass-if (positive? 1))
1712 (pass-if (positive? (+ fixnum-max 1)))
1713 (pass-if (positive? 1.3))
4d332f19
DH		 1714 (pass-if (not (positive? 0)))
1715 (pass-if (not (positive? -1)))
1716 (pass-if (not (positive? (- fixnum-min 1))))
1717 (pass-if (not (positive? -1.3))))
7c24e528 1718
f29b3454
DH		 1719;;;
1720;;; negative?
1721;;;
1722
7c24e528
RB		 1723(with-test-prefix "negative?"
1724 (expect-fail (documented? negative?))
4d332f19
DH		 1725 (pass-if (not (negative? 1)))
1726 (pass-if (not (negative? (+ fixnum-max 1))))
1727 (pass-if (not (negative? 1.3)))
1728 (pass-if (not (negative? 0)))
7c24e528
RB		 1729 (pass-if (negative? -1))
1730 (pass-if (negative? (- fixnum-min 1)))
1731 (pass-if (negative? -1.3)))
1732
f29b3454
DH		 1733;;;
1734;;; max
1735;;;
1736
adda36ed 1737(with-test-prefix "max"
501da403
KR		 1738 (pass-if (= 456.0 (max 123.0 456.0)))
1739 (pass-if (= 456.0 (max 456.0 123.0)))
1740
adda36ed
KR		 1741 (let ((big*2 (* fixnum-max 2))
1742 (big*3 (* fixnum-max 3))
1743 (big*4 (* fixnum-max 4))
1744 (big*5 (* fixnum-max 5)))
1745
1746 (pass-if (= +inf.0 (max big*5 +inf.0)))
1747 (pass-if (= +inf.0 (max +inf.0 big*5)))
1748 (pass-if (= big*5 (max big*5 -inf.0)))
501da403
KR		 1749 (pass-if (= big*5 (max -inf.0 big*5)))
1750
1751 (pass-if (nan? (max 123 +nan.0)))
1752 (pass-if (nan? (max big*5 +nan.0)))
1753 (pass-if (nan? (max 123.0 +nan.0)))
1754 (pass-if (nan? (max +nan.0 123)))
1755 (pass-if (nan? (max +nan.0 big*5)))
1756 (pass-if (nan? (max +nan.0 123.0)))
1757 (pass-if (nan? (max +nan.0 +nan.0))))
adda36ed
KR		 1758
1759 ;; in gmp prior to 4.2, mpz_cmp_d ended up treating Inf as 2^1024, make
1760 ;; sure we've avoided that
1761 (for-each (lambda (b)
1762 (pass-if (list b +inf.0)
1763 (= +inf.0 (max b +inf.0)))
1764 (pass-if (list +inf.0 b)
1765 (= +inf.0 (max b +inf.0)))
1766 (pass-if (list b -inf.0)
1767 (= b (max b -inf.0)))
1768 (pass-if (list -inf.0 b)
1769 (= b (max b -inf.0))))
1770 (list (1- (ash 1 1024))
1771 (ash 1 1024)
1772 (1+ (ash 1 1024))
1773 (- (1- (ash 1 1024)))
1774 (- (ash 1 1024))
501da403
KR		 1775 (- (1+ (ash 1 1024)))))
1776
1777 ;; in gmp prior to 4.2, mpz_cmp_d ended up treating NaN as 3*2^1023, make
1778 ;; sure we've avoided that
1779 (pass-if (nan? (max (ash 1 2048) +nan.0)))
1780 (pass-if (nan? (max +nan.0 (ash 1 2048)))))
adda36ed 1781
f29b3454
DH		 1782;;;
1783;;; min
1784;;;
1785
7c24e528
RB		 1786;; FIXME: unfinished...
1787
1788(with-test-prefix "min"
501da403
KR		 1789 (pass-if (= 123.0 (min 123.0 456.0)))
1790 (pass-if (= 123.0 (min 456.0 123.0)))
1791
7c24e528
RB		 1792 (let ((big*2 (* fixnum-max 2))
1793 (big*3 (* fixnum-max 3))
1794 (big*4 (* fixnum-max 4))
1795 (big*5 (* fixnum-max 5)))
1796
1797 (expect-fail (documented? max))
1798 (pass-if (= 1 (min 7 3 1 5)))
1799 (pass-if (= 1 (min 1 7 3 5)))
1800 (pass-if (= 1 (min 7 3 5 1)))
1801 (pass-if (= -7 (min 2 3 4 -2 5 -7 1 -1 4 2)))
1802 (pass-if (= -7 (min -7 2 3 4 -2 5 1 -1 4 2)))
1803 (pass-if (= -7 (min 2 3 4 -2 5 1 -1 4 2 -7)))
1804 (pass-if (= big*2 (min big*3 big*5 big*2 big*4)))
1805 (pass-if (= big*2 (min big*2 big*3 big*5 big*4)))
1806 (pass-if (= big*2 (min big*3 big*5 big*4 big*2)))
1807 (pass-if
1808 (= (- fixnum-min 1) (min 2 4 (- fixnum-min 1) 3 (* 2 fixnum-max))))
1809 (pass-if
1810 (= (- fixnum-min 1) (min (- fixnum-min 1) 2 4 3 (* 2 fixnum-max))))
1811 (pass-if
adda36ed 1812 (= (- fixnum-min 1) (min 2 4 3 (* 2 fixnum-max) (- fixnum-min 1))))
7c24e528 1813
adda36ed
KR		 1814 (pass-if (= big*5 (min big*5 +inf.0)))
1815 (pass-if (= big*5 (min +inf.0 big*5)))
1816 (pass-if (= -inf.0 (min big*5 -inf.0)))
501da403
KR		 1817 (pass-if (= -inf.0 (min -inf.0 big*5)))
1818
1819 (pass-if (nan? (min 123 +nan.0)))
1820 (pass-if (nan? (min big*5 +nan.0)))
1821 (pass-if (nan? (min 123.0 +nan.0)))
1822 (pass-if (nan? (min +nan.0 123)))
1823 (pass-if (nan? (min +nan.0 big*5)))
1824 (pass-if (nan? (min +nan.0 123.0)))
1825 (pass-if (nan? (min +nan.0 +nan.0))))
adda36ed
KR		 1826
1827 ;; in gmp prior to 4.2, mpz_cmp_d ended up treating Inf as 2^1024, make
1828 ;; sure we've avoided that
1829 (for-each (lambda (b)
1830 (pass-if (list b +inf.0)
1831 (= b (min b +inf.0)))
1832 (pass-if (list +inf.0 b)
1833 (= b (min b +inf.0)))
1834 (pass-if (list b -inf.0)
1835 (= -inf.0 (min b -inf.0)))
1836 (pass-if (list -inf.0 b)
1837 (= -inf.0 (min b -inf.0))))
1838 (list (1- (ash 1 1024))
1839 (ash 1 1024)
1840 (1+ (ash 1 1024))
1841 (- (1- (ash 1 1024)))
1842 (- (ash 1 1024))
501da403
KR		 1843 (- (1+ (ash 1 1024)))))
1844
1845 ;; in gmp prior to 4.2, mpz_cmp_d ended up treating NaN as 3*2^1023, make
1846 ;; sure we've avoided that
1847 (pass-if (nan? (min (- (ash 1 2048)) (- +nan.0))))
1848 (pass-if (nan? (min (- +nan.0) (- (ash 1 2048))))))
adda36ed 1849
f29b3454
DH		 1850;;;
1851;;; +
1852;;;
1853
1854(with-test-prefix "+"
1855
1856 (expect-fail "documented?"
1857 (documented? +))
1858
1859 (with-test-prefix "wrong type argument"
1860
1861 (pass-if-exception "1st argument string"
1862 exception:wrong-type-arg
1863 (+ "1" 2))
1864
1865 (pass-if-exception "2nd argument bool"
1866 exception:wrong-type-arg
1867 (+ 1 #f))))
1868;;;
1869;;; -
1870;;;
1871
072e6de2
KR		 1872(with-test-prefix "-"
1873
1874 (pass-if "-inum - +bignum"
1875 (= #x-100000000000000000000000000000001
ef016629
KR		 1876 (- -1 #x100000000000000000000000000000000)))
1877
1878 (pass-if "big - inum"
1879 (= #xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF
1880 (- #x100000000000000000000000000000000 1)))
1881
1882 (pass-if "big - -inum"
1883 (= #x100000000000000000000000000000001
1884 (- #x100000000000000000000000000000000 -1))))
072e6de2 1885
f29b3454
DH		 1886;;;
1887;;; *
1888;;;
1889
65ea251e
KR		 1890(with-test-prefix "*"
1891
1892 (pass-if "complex * bignum"
1893 (let ((big (ash 1 90)))
1894 (= (make-rectangular big big)
1895 (* 1+1i big)))))
1896
f29b3454
DH		 1897;;;
1898;;; /
1899;;;
1900
1b3a7932
DH		 1901(with-test-prefix "/"
1902
1903 (expect-fail "documented?"
1904 (documented? /))
1905
1906 (with-test-prefix "division by zero"
1907
1908 (pass-if-exception "(/ 0)"
1909 exception:numerical-overflow
1910 (/ 0))
1911
cdf52e3d
MV		 1912 (pass-if "(/ 0.0)"
1913 (= +inf.0 (/ 0.0)))
80074d77 1914
1b3a7932
DH		 1915 (pass-if-exception "(/ 1 0)"
1916 exception:numerical-overflow
80074d77
DH		 1917 (/ 1 0))
1918
cdf52e3d
MV		 1919 (pass-if "(/ 1 0.0)"
1920 (= +inf.0 (/ 1 0.0)))
80074d77
DH		 1921
1922 (pass-if-exception "(/ bignum 0)"
1923 exception:numerical-overflow
1924 (/ (+ fixnum-max 1) 0))
1925
cdf52e3d
MV		 1926 (pass-if "(/ bignum 0.0)"
1927 (= +inf.0 (/ (+ fixnum-max 1) 0.0)))
80074d77
DH		 1928
1929 (pass-if-exception "(/ 1.0 0)"
1930 exception:numerical-overflow
1931 (/ 1.0 0))
1932
cdf52e3d
MV		 1933 (pass-if "(/ 1.0 0.0)"
1934 (= +inf.0 (/ 1.0 0.0)))
80074d77
DH		 1935
1936 (pass-if-exception "(/ +i 0)"
1937 exception:numerical-overflow
1938 (/ +i 0))
1939
cdf52e3d
MV		 1940 (pass-if "(/ +i 0.0)"
1941 (= +inf.0 (imag-part (/ +i 0.0)))))
469b963c
MV		 1942
1943 (with-test-prefix "complex division"
1944
1945 (pass-if "(/ 3+4i)"
1946 (= (/ 3+4i) 0.12-0.16i))
1947
1948 (pass-if "(/ 4+3i)"
1949 (= (/ 4+3i) 0.16-0.12i))
1950
1951 (pass-if "(/ 25+125i 3+4i)"
1952 (= (/ 25+125i 3+4i) 23.0+11.0i))
1953
1954 (pass-if "(/ 25+125i 4+3i)"
1955 (= (/ 25+125i 4+3i) 19.0+17.0i))
1956
1957 (pass-if "(/ 25 3+4i)"
1958 (= (/ 25 3+4i) 3.0-4.0i))
1959
1960 (pass-if "(/ 25 4+3i)"
1961 (= (/ 25 4+3i) 4.0-3.0i))
1962
1963 (pass-if "(/ 1e200+1e200i)"
1964 (= (/ 1e200+1e200i) 5.0e-201-5.0e-201i))))
1b3a7932 1965
f29b3454
DH		 1966;;;
1967;;; truncate
1968;;;
1969
14a6784c
KR		 1970(with-test-prefix "truncate"
1971 (pass-if (= 1 (truncate 1.75)))
1972 (pass-if (= 1 (truncate 1.5)))
1973 (pass-if (= 1 (truncate 1.25)))
1974 (pass-if (= 0 (truncate 0.75)))
1975 (pass-if (= 0 (truncate 0.5)))
1976 (pass-if (= 0 (truncate 0.0)))
1977 (pass-if (= 0 (truncate -0.5)))
1978 (pass-if (= -1 (truncate -1.25)))
1979 (pass-if (= -1 (truncate -1.5))))
1980
f29b3454
DH		 1981;;;
1982;;; round
1983;;;
1984
14a6784c
KR		 1985(with-test-prefix "round"
1986 (pass-if (= 2 (round 1.75)))
1987 (pass-if (= 2 (round 1.5)))
1988 (pass-if (= 1 (round 1.25)))
1989 (pass-if (= 1 (round 0.75)))
1990 (pass-if (= 0 (round 0.5)))
1991 (pass-if (= 0 (round 0.0)))
1992 (pass-if (= 0 (round -0.5)))
1993 (pass-if (= -1 (round -1.25)))
1994 (pass-if (= -2 (round -1.5))))
1995
f29b3454
DH		 1996;;;
1997;;; exact->inexact
1998;;;
1999
a1fb3b1c
KR		 2000(with-test-prefix "exact->inexact"
2001
2002 ;; Test "(exact->inexact n)", expect "want".
2003 ;; "i" is a index, for diagnostic purposes.
2004 (define (try-i i n want)
2005 (with-test-prefix (list i n want)
2006 (with-test-prefix "pos"
2007 (let ((got (exact->inexact n)))
2008 (pass-if "inexact?" (inexact? got))
2009 (pass-if (list "=" got) (= want got))))
2010 (set! n (- n))
2011 (set! want (- want))
2012 (with-test-prefix "neg"
2013 (let ((got (exact->inexact n)))
2014 (pass-if "inexact?" (inexact? got))
2015 (pass-if (list "=" got) (= want got))))))
2016
2017 (with-test-prefix "2^i, no round"
2018 (do ((i 0 (1+ i))
2019 (n 1 (* 2 n))
2020 (want 1.0 (* 2.0 want)))
2021 ((> i 100))
2022 (try-i i n want)))
2023
2024 (with-test-prefix "2^i+1, no round"
2025 (do ((i 1 (1+ i))
2026 (n 3 (1- (* 2 n)))
2027 (want 3.0 (- (* 2.0 want) 1.0)))
2028 ((>= i dbl-mant-dig))
2029 (try-i i n want)))
2030
2031 (with-test-prefix "(2^i+1)*2^100, no round"
2032 (do ((i 1 (1+ i))
2033 (n 3 (1- (* 2 n)))
2034 (want 3.0 (- (* 2.0 want) 1.0)))
2035 ((>= i dbl-mant-dig))
2036 (try-i i (ash n 100) (ash-flo want 100))))
2037
2038 ;; bit pattern: 1111....11100.00
2039 ;; <-mantdig-><-i->
2040 ;;
2041 (with-test-prefix "mantdig ones then zeros, no rounding"
2042 (do ((i 0 (1+ i))
2043 (n (- (ash 1 dbl-mant-dig) 1) (* 2 n))
2044 (want (- (ash-flo 1.0 dbl-mant-dig) 1.0) (* 2.0 want)))
2045 ((> i 100))
2046 (try-i i n want)))
2047
2048 ;; bit pattern: 1111....111011..1
2049 ;; <-mantdig-> <-i->
2050 ;; This sort of value was incorrectly rounded upwards in Guile 1.6.4 when
2051 ;; i >= 11 (that's when the total is 65 or more bits).
2052 ;;
2053 (with-test-prefix "mantdig ones then 011..11, round down"
2054 (do ((i 0 (1+ i))
2055 (n (- (ash 1 (+ 1 dbl-mant-dig)) 2) (+ 1 (* 2 n)))
2056 (want (- (ash-flo 1.0 (+ 1 dbl-mant-dig)) 2.0) (* 2.0 want)))
2057 ((> i 100))
2058 (try-i i n want)))
2059
2060 ;; bit pattern: 1111....111100..001
2061 ;; <-mantdig-> <--i->
2062 ;;
2063 (with-test-prefix "mantdig ones then 100..001, round up"
2064 (do ((i 0 (1+ i))
2065 (n (- (ash 1 (+ 2 dbl-mant-dig)) 1) (1- (* 2 n)))
2066 (want (ash-flo 1.0 (+ 2 dbl-mant-dig)) (* 2.0 want)))
2067 ((> i 100))
2068 (try-i i n want)))
2069
2070 ;; bit pattern: 1000....000100..001
2071 ;; <-mantdig-> <--i->
2072 ;;
2073 (with-test-prefix "2^mantdig then 100..001, round up"
2074 (do ((i 0 (1+ i))
2075 (n (- (ash 1 (+ 2 dbl-mant-dig)) 1) (1- (* 2 n)))
2076 (want (+ (ash-flo 1.0 (+ 2 dbl-mant-dig)) 4.0) (* 2.0 want)))
2077 ((> i 100))
2078 (try-i i n want))))
2079
f29b3454
DH		 2080;;;
2081;;; floor
2082;;;
2083
2084;;;
2085;;; ceiling
2086;;;
2087
46f2c0f1
RB		 2088;;;
2089;;; expt
2090;;;
2091
2092(with-test-prefix "expt"
2093 (pass-if "(= 1 (expt 0 0))" (= 1 (expt 0 0)))
2094 (pass-if "(= 1 (expt 0 0.0))" (= 1 (expt 0 0.0)))
2095 (pass-if "(= 1 (expt 0.0 0))" (= 1 (expt 0.0 0)))
2096 (pass-if "(= 1 (expt 0.0 0.0))" (= 1 (expt 0.0 0.0))))
2097
14a6784c
KR		 2098;;;
2099;;; asinh
2100;;;
2101
2102(with-test-prefix "asinh"
2103 (pass-if (= 0 (asinh 0))))
2104
2105;;;
2106;;; acosh
2107;;;
2108
2109(with-test-prefix "acosh"
2110 (pass-if (= 0 (acosh 1))))
2111
2112;;;
2113;;; atanh
2114;;;
2115
2116(with-test-prefix "atanh"
2117 (pass-if (= 0 (atanh 0))))
2118
f29b3454
DH		 2119;;;
2120;;; make-rectangular
2121;;;
2122
2123;;;
2124;;; make-polar
2125;;;
2126
d40681ec
KR		 2127(with-test-prefix "make-polar"
2128 (define pi 3.14159265358979323846)
2129 (define (almost= x y)
2130 (> 0.01 (magnitude (- x y))))
2131
2132 (pass-if (= 0 (make-polar 0 0)))
2133 (pass-if (= 0 (make-polar 0 123.456)))
2134 (pass-if (= 1 (make-polar 1 0)))
2135 (pass-if (= -1 (make-polar -1 0)))
2136
2137 (pass-if (almost= 0+i (make-polar 1 (* 0.5 pi))))
2138 (pass-if (almost= -1 (make-polar 1 (* 1.0 pi))))
2139 (pass-if (almost= 0-i (make-polar 1 (* 1.5 pi))))
2140 (pass-if (almost= 1 (make-polar 1 (* 2.0 pi)))))
2141
f29b3454
DH		 2142;;;
2143;;; real-part
2144;;;
2145
2146;;;
2147;;; imag-part
2148;;;
2149
2150;;;
2151;;; magnitude
2152;;;
2153
d40681ec
KR		 2154(with-test-prefix "magnitude"
2155 (pass-if (= 0 (magnitude 0)))
2156 (pass-if (= 1 (magnitude 1)))
2157 (pass-if (= 1 (magnitude -1)))
2158 (pass-if (= 1 (magnitude 0+i)))
2159 (pass-if (= 1 (magnitude 0-i)))
2160 (pass-if (= 5 (magnitude 3+4i)))
2161 (pass-if (= 5 (magnitude 3-4i)))
2162 (pass-if (= 5 (magnitude -3+4i)))
2163 (pass-if (= 5 (magnitude -3-4i))))
2164
f29b3454
DH		 2165;;;
2166;;; angle
2167;;;
2168
cfc9fc1c
KR		 2169(with-test-prefix "angle"
2170 (define pi 3.14159265358979323846)
2171 (define (almost= x y)
2172 (> 0.01 (magnitude (- x y))))
2173
2174 (pass-if "inum +ve" (= 0 (angle 1)))
2175 (pass-if "inum -ve" (almost= pi (angle -1)))
2176
2177 (pass-if "bignum +ve" (= 0 (angle (1+ fixnum-max))))
2178 (pass-if "bignum -ve" (almost= pi (angle (1- fixnum-min))))
2179
2180 (pass-if "flonum +ve" (= 0 (angle 1.5)))
2181 (pass-if "flonum -ve" (almost= pi (angle -1.5))))
2182
f29b3454
DH		 2183;;;
2184;;; inexact->exact
2185;;;
300c6a76 2186
1259cb26
KR		 2187(with-test-prefix "inexact->exact"
2188
a409f865
MV		 2189 (pass-if-exception "+inf" exception:numerical-overflow
2190 (inexact->exact +inf.0))
1259cb26 2191
a409f865
MV		 2192 (pass-if-exception "-inf" exception:numerical-overflow
2193 (inexact->exact -inf.0))
1259cb26 2194
a409f865
MV		 2195 (pass-if-exception "nan" exception:numerical-overflow
2196 (inexact->exact +nan.0))
1259cb26
KR		 2197
2198 (with-test-prefix "2.0**i to exact and back"
2199 (do ((i 0 (1+ i))
2200 (n 1.0 (* 2.0 n)))
2201 ((> i 100))
2202 (pass-if (list i n)
2203 (= n (inexact->exact (exact->inexact n)))))))
2204
a04a3604
KR		 2205;;;
2206;;; integer-length
2207;;;
2208
2209(with-test-prefix "integer-length"
2210
2211 (with-test-prefix "-2^i, ...11100..00"
2212 (do ((n -1 (ash n 1))
2213 (i 0 (1+ i)))
2214 ((> i 256))
2215 (pass-if (list n "expect" i)
2216 (= i (integer-length n)))))
2217
2218 (with-test-prefix "-2^i+1 ...11100..01"
2219 (do ((n -3 (logxor 3 (ash n 1)))
2220 (i 2 (1+ i)))
2221 ((> i 256))
2222 (pass-if n
2223 (= i (integer-length n)))))
2224
2225 (with-test-prefix "-2^i-1 ...111011..11"
2226 (do ((n -2 (1+ (ash n 1)))
2227 (i 1 (1+ i)))
2228 ((> i 256))
2229 (pass-if n
2230 (= i (integer-length n))))))
2231
300c6a76
KR		 2232;;;
2233;;; logcount
2234;;;
2235
2236(with-test-prefix "logcount"
2237
2238 (with-test-prefix "-2^i, meaning ...11100..00"
2239 (do ((n -1 (ash n 1))
2240 (i 0 (1+ i)))
2241 ((> i 256))
795c0bae
KR		 2242 (pass-if n
2243 (= i (logcount n)))))
2244
2245 (with-test-prefix "2^i"
2246 (do ((n 1 (ash n 1))
2247 (i 0 (1+ i)))
2248 ((> i 256))
2249 (pass-if n
2250 (= 1 (logcount n)))))
2251
2252 (with-test-prefix "2^i-1"
2253 (do ((n 0 (1+ (ash n 1)))
2254 (i 0 (1+ i)))
2255 ((> i 256))
300c6a76
KR		 2256 (pass-if n
2257 (= i (logcount n))))))
795c0bae 2258
1ec2dd6f
KR		 2259;;;
2260;;; lognot
2261;;;
2262
2263(with-test-prefix "lognot"
2264 (pass-if (= -1 (lognot 0)))
2265 (pass-if (= 0 (lognot -1)))
2266 (pass-if (= -2 (lognot 1)))
2267 (pass-if (= 1 (lognot -2)))
2268
2269 (pass-if (= #x-100000000000000000000000000000000
2270 (lognot #xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF)))
2271 (pass-if (= #xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF
2272 (lognot #x-100000000000000000000000000000000))))
Unnamed repository; edit this file 'description' to name the repository.