infinities are no longer integers

[bpt/guile.git] / test-suite / tests / numbers.test

diff --git a/test-suite/tests/numbers.test b/test-suite/tests/numbers.test
index 1d7cb7c..5ea4764 100644 (file)
--- a/test-suite/tests/numbers.test
+++ b/test-suite/tests/numbers.test
@@ -1,5 +1,5 @@
 ;;;; numbers.test --- tests guile's numbers     -*- scheme -*-
-;;;; Copyright (C) 2000, 2001, 2003, 2004, 2005, 2006, 2009, 2010 Free Software Foundation, Inc.
+;;;; Copyright (C) 2000, 2001, 2003, 2004, 2005, 2006, 2009, 2010, 2011 Free Software Foundation, Inc.
 ;;;;
 ;;;; This library is free software; you can redistribute it and/or
 ;;;; modify it under the terms of the GNU Lesser General Public
@@ -101,29 +101,45 @@
 ;;; 1+
 ;;;
 
-(with-test-prefix "1+"
+(with-test-prefix/c&e "1+"
 
   (pass-if "documented?"
     (documented? 1+))
 
-  (pass-if (eqv? 1 (1+ 0)))
-  (pass-if (eqv? 0 (1+ -1)))
-  (pass-if (eqv? 101 (1+ 100)))
-  (pass-if (eqv? -99 (1+ -100))))
+  (pass-if "0"   (eqv? 1 (1+ 0)))
+  (pass-if "-1"   (eqv? 0 (1+ -1)))
+  (pass-if "100"  (eqv? 101 (1+ 100)))
+  (pass-if "-100" (eqv? -99 (1+ -100)))
+
+  ;; The maximum fixnum on a 32-bit architecture: 2^29 - 1.
+  (pass-if "1+ fixnum = bignum (32-bit)"
+    (eqv? 536870912 (1+ 536870911)))
+
+  ;; The maximum fixnum on a 64-bit architecture: 2^61 - 1.
+  (pass-if "1+ fixnum = bignum (64-bit)"
+    (eqv? 2305843009213693952 (1+ 2305843009213693951))))
 
 ;;;
 ;;; 1-
 ;;;
 
-(with-test-prefix "1-"
+(with-test-prefix/c&e "1-"
 
   (pass-if "documented?"
     (documented? 1-))
 
-  (pass-if (eqv? -1 (1- 0)))
-  (pass-if (eqv? 0 (1- 1)))
-  (pass-if (eqv? 99 (1- 100)))
-  (pass-if (eqv? -101 (1- -100))))
+  (pass-if "0"    (eqv? -1 (1- 0)))
+  (pass-if "1"    (eqv? 0 (1- 1)))
+  (pass-if "100"  (eqv? 99 (1- 100)))
+  (pass-if "-100" (eqv? -101 (1- -100)))
+
+  ;; The minimum fixnum on a 32-bit architecture: -2^29.
+  (pass-if "1- fixnum = bignum (32-bit)"
+    (eqv? -536870913 (1- -536870912)))
+
+  ;; The minimum fixnum on a 64-bit architecture: -2^61.
+  (pass-if "1- fixnum = bignum (64-bit)"
+    (eqv? -2305843009213693953 (1- -2305843009213693952))))
 
 ;;;
 ;;; ash
@@ -1270,12 +1286,22 @@
     ;; or not.  It is clearly undesirable to have number->string to be
     ;; influenced by this.
 
-    (pass-if (string=? (number->string 35.25 36) "Z.9"))
+    (pass-if (string=? (number->string 35.25 36) "z.9"))
     (pass-if (or (string=? (number->string 0.25 2) "0.01")
                 (string=? (number->string 0.25 2) "0.010")))
-    (pass-if (string=? (number->string 255.0625 16) "FF.1"))
+    (pass-if (string=? (number->string 255.0625 16) "ff.1"))
     (pass-if (string=? (number->string (/ 1 3) 3) "1/10"))
 
+    (pass-if (string=? (number->string 10) "10"))
+    (pass-if (string=? (number->string 10 11) "a"))
+    (pass-if (string=? (number->string 36 36) "10"))
+    (pass-if (= (num->str->num 36 36) 36))
+    (pass-if (= (string->number "z" 36) 35))
+    (pass-if (= (string->number "Z" 36) 35))
+    (pass-if (not (string->number "Z" 35)))
+    (pass-if (string=? (number->string 35 36) "z"))
+    (pass-if (= (num->str->num 35 36) 35))
+
     ;; Numeric conversion from decimal is not precise, in its current
     ;; implementation, so 11.333... and 1.324... can't be expected to
     ;; reliably come out to precise values.  These tests did actually work
@@ -1482,8 +1508,8 @@
   (pass-if (and (= 3+0i (round 3+0i)) (integer? 3+0i)))
   (pass-if (and (= 1.0 (round 1.0)) (integer? 1.0)))
   (pass-if (not (integer? 1.3)))
-  (pass-if (integer? +inf.0))
-  (pass-if (integer? -inf.0))
+  (pass-if (not (integer? +inf.0)))
+  (pass-if (not (integer? -inf.0)))
   (pass-if (not (integer? +nan.0)))
   (pass-if (not (integer? 3+4i)))
   (pass-if (not (integer? #\a)))
@@ -2433,16 +2459,27 @@
 ;;; +
 ;;;
 
-(with-test-prefix "+"
+(with-test-prefix/c&e "+"
 
   (pass-if "documented?"
-    (documented? +)))
+    (documented? +))
+
+  ;; The maximum fixnum on a 32-bit architecture: 2^29 - 1.
+  (pass-if "fixnum + fixnum = bignum (32-bit)"
+    (eqv? 536870912 (+ 536870910 2)))
+
+  ;; The maximum fixnum on a 64-bit architecture: 2^61 - 1.
+  (pass-if "fixnum + fixnum = bignum (64-bit)"
+    (eqv? 2305843009213693952 (+ 2305843009213693950 2)))
+
+  (pass-if "bignum + fixnum = fixnum"
+    (eqv? 0 (+ (1+ most-positive-fixnum) most-negative-fixnum))))
 
 ;;;
 ;;; -
 ;;;
 
-(with-test-prefix "-"
+(with-test-prefix/c&e "-"
 
   (pass-if "-inum - +bignum"
     (= #x-100000000000000000000000000000001
@@ -2454,7 +2491,18 @@
   
   (pass-if "big - -inum"
     (= #x100000000000000000000000000000001
-       (- #x100000000000000000000000000000000 -1))))
+       (- #x100000000000000000000000000000000 -1)))
+
+  ;; The mininum fixnum on a 32-bit architecture: -2^29.
+  (pass-if "fixnum - fixnum = bignum (32-bit)"
+    (eqv? -536870912 (- -536870910 2)))
+
+  ;; The minimum fixnum on a 64-bit architecture: -2^61.
+  (pass-if "fixnum - fixnum = bignum (64-bit)"
+    (eqv? -2305843009213693952 (- -2305843009213693950 2)))
+
+  (pass-if "bignum - fixnum = fixnum"
+    (eqv? most-positive-fixnum (- (1+ most-positive-fixnum) 1))))
 
 ;;;
 ;;; *
@@ -2877,10 +2925,36 @@
 (with-test-prefix "expt"
   (pass-if-exception "non-numeric base" exception:wrong-type-arg
                      (expt #t 0))
-  (pass-if "(= 1 (expt 0 0))" (= 1 (expt 0 0)))
-  (pass-if "(= 1 (expt 0 0.0))" (= 1 (expt 0 0.0)))
-  (pass-if "(= 1 (expt 0.0 0))" (= 1 (expt 0.0 0)))
-  (pass-if "(= 1 (expt 0.0 0.0))" (= 1 (expt 0.0 0.0))))
+  (pass-if (eqv? 1 (expt 0 0)))
+  (pass-if (eqv? 1 (expt 0.0 0)))
+  (pass-if (eqv? 1.0 (expt 0 0.0)))
+  (pass-if (eqv? 1.0 (expt 0.0 0.0)))
+  (pass-if (nan? (expt 0 -1)))
+  (pass-if (nan? (expt 0 -1.0)))
+  (pass-if (nan? (expt 0.0 -1)))
+  (pass-if (nan? (expt 0.0 -1.0)))
+  (pass-if (eqv? 0 (expt 0 3)))
+  (pass-if (= 0 (expt 0 4.0)))
+  (pass-if (eqv? 0.0 (expt 0.0 5)))
+  (pass-if (eqv? 0.0 (expt 0.0 6.0)))
+  (pass-if (eqv? -2742638075.5 (expt -2742638075.5 1)))
+  (pass-if (eqv? (* -2742638075.5 -2742638075.5)
+                 (expt -2742638075.5 2)))
+  (pass-if (eqv? 4.0 (expt -2.0 2.0)))
+  (pass-if (eqv? -1/8 (expt -2 -3)))
+  (pass-if (eqv? -0.125 (expt -2.0 -3)))
+  (pass-if (eqv? -0.125 (expt -2 -3.0)))
+  (pass-if (eqv? -0.125 (expt -2.0 -3.0)))
+  (pass-if (eqv? 0.25 (expt 2.0 -2.0)))
+  (pass-if (eqv? (* -1.0 12398 12398) (expt +12398i 2.0)))
+  (pass-if (eqv-loosely? +i (expt -1 0.5)))
+  (pass-if (eqv-loosely? +i (expt -1 1/2)))
+  (pass-if (eqv-loosely? 1.0+1.7320508075688i (expt -8 1/3)))
+  (pass-if (eqv? +inf.0 (expt 2 +inf.0)))
+  (pass-if (eqv? +inf.0 (expt 2.0 +inf.0)))
+  (pass-if (eqv? 0.0 (expt 2 -inf.0)))
+  (pass-if (eqv? 0.0 (expt 2.0 -inf.0))))
+
 
 ;;;
 ;;; asinh
@@ -3002,7 +3076,23 @@
   (pass-if-exception "2^-inf" exception:wrong-type-arg
     (integer-expt 2 -inf.0))
   (pass-if-exception "2^nan" exception:wrong-type-arg
-    (integer-expt 2 +nan.0)))
+    (integer-expt 2 +nan.0))
+
+  (pass-if (eqv? 1 (integer-expt 0 0)))
+  (pass-if (eqv? 1 (integer-expt 0.0 0)))
+  (pass-if (nan? (integer-expt 0 -1)))
+  (pass-if (nan? (integer-expt 0.0 -1)))
+  (pass-if (eqv? 0 (integer-expt 0 3)))
+  (pass-if (eqv? 0.0 (integer-expt 0.0 5)))
+  (pass-if (eqv? -2742638075.5 (integer-expt -2742638075.5 1)))
+  (pass-if (eqv? (* -2742638075.5 -2742638075.5)
+                 (integer-expt -2742638075.5 2)))
+  (pass-if (eqv? 4.0 (integer-expt -2.0 2)))
+  (pass-if (eqv? -1/8 (integer-expt -2 -3)))
+  (pass-if (eqv? -0.125 (integer-expt -2.0 -3)))
+  (pass-if (eqv? 0.25 (integer-expt 2.0 -2)))
+  (pass-if (eqv? (* -1.0 12398 12398) (integer-expt +12398.0i 2))))
+
 
 ;;;
 ;;; integer-length