Fcalva/chibi-scheme
1
0
Fork 0
mirror of https://github.com/ashinn/chibi-scheme.git synced 2025-05-19 13:49:17 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #461 from jacius/remainder_inf

Browse source 
Regression tests for remainder with infinity
This commit is contained in:
Alex Shinn 2018-03-16 22:40:32 +09:00 • committed by GitHub
commit d0b63109e8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 76 additions and 51 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
Makefile
View file

@ -270,6 +270,9 @@ test-snow: chibi-scheme$(EXE) $(IMAGE_FILES)
test-unicode: chibi-scheme$(EXE) test-unicode: chibi-scheme$(EXE)
$(CHIBI) -xchibi tests/unicode-tests.scm $(CHIBI) -xchibi tests/unicode-tests.scm
test-division: chibi-scheme$(EXE)
$(CHIBI) tests/division-tests.scm
test-libs: chibi-scheme$(EXE) test-libs: chibi-scheme$(EXE)
$(CHIBI) tests/lib-tests.scm $(CHIBI) tests/lib-tests.scm
@ -281,7 +284,7 @@ test-r7rs: chibi-scheme$(EXE)
test: test-r7rs test: test-r7rs
test-all: test test-libs test-ffi test-all: test test-libs test-ffi test-division
test-dist: test-all test-memory test-build test-dist: test-all test-memory test-build

110
tests/division-tests.scm
View file

@ -1,5 +1,5 @@
(import (chibi test) (scheme division)) (import (chibi test) (scheme base) (scheme division))
(test-begin "division") (test-begin "division")
@ -87,11 +87,11 @@
(test 0 (euclidean-remainder 0 4)) (test 0 (euclidean-remainder 0 4))
(test 0 (euclidean-remainder 0 -4)) (test 0 (euclidean-remainder 0 -4))
(test 0 (centered-quotient 0 4)) (test 0 (balanced-quotient 0 4))
(test 0 (centered-quotient 0 -4)) (test 0 (balanced-quotient 0 -4))
(test 0 (centered-remainder 0 4)) (test 0 (balanced-remainder 0 4))
(test 0 (centered-remainder 0 -4)) (test 0 (balanced-remainder 0 -4))
(test-end) (test-end)
@ -129,11 +129,11 @@
(test 0 (euclidean-remainder 13 1)) (test 0 (euclidean-remainder 13 1))
(test 0 (euclidean-remainder -13 1)) (test 0 (euclidean-remainder -13 1))
(test 13 (centered-quotient 13 1)) (test 13 (balanced-quotient 13 1))
(test -13 (centered-quotient -13 1)) (test -13 (balanced-quotient -13 1))
(test 0 (centered-remainder 13 1)) (test 0 (balanced-remainder 13 1))
(test 0 (centered-remainder -13 1)) (test 0 (balanced-remainder -13 1))
(test-end) (test-end)
@ -205,18 +205,18 @@
(test 1 (euclidean-remainder 13 -4)) (test 1 (euclidean-remainder 13 -4))
(test 3 (euclidean-remainder -13 -4)) (test 3 (euclidean-remainder -13 -4))
;; Centered differs from truncate only in the 0.5 remainder border ;; Balanced differs from truncate only in the 0.5 remainder border
;; case in the next test group. ;; case in the next test group.
(test 3 (centered-quotient 13 4)) (test 3 (balanced-quotient 13 4))
(test -3 (centered-quotient -13 4)) (test -3 (balanced-quotient -13 4))
(test -3 (centered-quotient 13 -4)) (test -3 (balanced-quotient 13 -4))
(test 3 (centered-quotient -13 -4)) (test 3 (balanced-quotient -13 -4))
(test 1 (centered-remainder 13 4)) (test 1 (balanced-remainder 13 4))
(test -1 (centered-remainder -13 4)) (test -1 (balanced-remainder -13 4))
(test 1 (centered-remainder 13 -4)) (test 1 (balanced-remainder 13 -4))
(test -1 (centered-remainder -13 -4)) (test -1 (balanced-remainder -13 -4))
(test-end) (test-end)
@ -279,17 +279,17 @@
(test 1 (round-remainder 13 -2)) (test 1 (round-remainder 13 -2))
(test -1 (round-remainder -13 -2)) (test -1 (round-remainder -13 -2))
;; Centered rounds up when exactly half-way between two integers. ;; Balanced rounds up when exactly half-way between two integers.
(test 7 (centered-quotient 13 2)) (test 7 (balanced-quotient 13 2))
(test -6 (centered-quotient -13 2)) (test -6 (balanced-quotient -13 2))
(test -7 (centered-quotient 13 -2)) (test -7 (balanced-quotient 13 -2))
(test 6 (centered-quotient -13 -2)) (test 6 (balanced-quotient -13 -2))
(test -1 (centered-remainder 13 2)) (test -1 (balanced-remainder 13 2))
(test -1 (centered-remainder -13 2)) (test -1 (balanced-remainder -13 2))
(test -1 (centered-remainder 13 -2)) (test -1 (balanced-remainder 13 -2))
(test -1 (centered-remainder -13 -2)) (test -1 (balanced-remainder -13 -2))
(test-end) (test-end)
@ -359,17 +359,17 @@
(test 1.0 (euclidean-remainder 13 4.0)) (test 1.0 (euclidean-remainder 13 4.0))
(test 1.0 (euclidean-remainder 13.0 4.0)) (test 1.0 (euclidean-remainder 13.0 4.0))
(test '(3.0 1.0) (values->list (centered/ 13.0 4))) (test '(3.0 1.0) (values->list (balanced/ 13.0 4)))
(test '(3.0 1.0) (values->list (centered/ 13 4.0))) (test '(3.0 1.0) (values->list (balanced/ 13 4.0)))
(test '(3.0 1.0) (values->list (centered/ 13.0 4.0))) (test '(3.0 1.0) (values->list (balanced/ 13.0 4.0)))
(test 3.0 (centered-quotient 13.0 4)) (test 3.0 (balanced-quotient 13.0 4))
(test 3.0 (centered-quotient 13 4.0)) (test 3.0 (balanced-quotient 13 4.0))
(test 3.0 (centered-quotient 13.0 4.0)) (test 3.0 (balanced-quotient 13.0 4.0))
(test 1.0 (centered-remainder 13.0 4)) (test 1.0 (balanced-remainder 13.0 4))
(test 1.0 (centered-remainder 13 4.0)) (test 1.0 (balanced-remainder 13 4.0))
(test 1.0 (centered-remainder 13.0 4.0)) (test 1.0 (balanced-remainder 13.0 4.0))
(test-end) (test-end)
@ -448,20 +448,42 @@
(test 300000000000000000000 (test 300000000000000000000
(euclidean-remainder -1300000000000000000000 -400000000000000000000)) (euclidean-remainder -1300000000000000000000 -400000000000000000000))
(test 3 (centered-quotient 1300000000000000000000 400000000000000000000)) (test 3 (balanced-quotient 1300000000000000000000 400000000000000000000))
(test -3 (centered-quotient -1300000000000000000000 400000000000000000000)) (test -3 (balanced-quotient -1300000000000000000000 400000000000000000000))
(test -3 (centered-quotient 1300000000000000000000 -400000000000000000000)) (test -3 (balanced-quotient 1300000000000000000000 -400000000000000000000))
(test 3 (centered-quotient -1300000000000000000000 -400000000000000000000)) (test 3 (balanced-quotient -1300000000000000000000 -400000000000000000000))
(test 100000000000000000000 (test 100000000000000000000
(centered-remainder 1300000000000000000000 400000000000000000000)) (balanced-remainder 1300000000000000000000 400000000000000000000))
(test -100000000000000000000 (test -100000000000000000000
(centered-remainder -1300000000000000000000 400000000000000000000)) (balanced-remainder -1300000000000000000000 400000000000000000000))
(test 100000000000000000000 (test 100000000000000000000
(centered-remainder 1300000000000000000000 -400000000000000000000)) (balanced-remainder 1300000000000000000000 -400000000000000000000))
(test -100000000000000000000 (test -100000000000000000000
(centered-remainder -1300000000000000000000 -400000000000000000000)) (balanced-remainder -1300000000000000000000 -400000000000000000000))
(test-end) (test-end)
(test-begin "remainder infinity")
(test-error (remainder +inf.0 +nan.0))
(test-error (remainder -inf.0 +nan.0))
(test-error (remainder +inf.0 2.0))
(test-error (remainder -inf.0 2.0))
(test-error (remainder +inf.0 2/1))
(test-error (remainder -inf.0 2/1))
(test-error (remainder +inf.0 2))
(test-error (remainder -inf.0 2))
(test-error (remainder +nan.0 +inf.0))
(test-error (remainder +nan.0 -inf.0))
(test-error (remainder 2.0 +inf.0))
(test-error (remainder 2.0 -inf.0))
(test-error (remainder 2/1 +inf.0))
(test-error (remainder 2/1 -inf.0))
(test-error (remainder 2 +inf.0))
(test-error (remainder 2 -inf.0))
(test-end "remainder infinity")
(test-end) (test-end)