From 1594e2322bcf7f97dac327ecb342d3e264021d0b Mon Sep 17 00:00:00 2001 From: Alex Shinn Date: Sun, 6 Jan 2013 00:02:27 +0900 Subject: [PATCH] Adding extra exact-integer-sqrt tests. --- tests/r7rs-tests.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/tests/r7rs-tests.scm b/tests/r7rs-tests.scm index 56d3c846..4cb966f9 100644 --- a/tests/r7rs-tests.scm +++ b/tests/r7rs-tests.scm @@ -169,6 +169,26 @@ (let*-values (((root rem) (exact-integer-sqrt 32))) (test 35 (* root rem))) +(test '(1073741824 0) + (let*-values (((root rem) (exact-integer-sqrt (expt 2 60)))) + (list root rem))) + +(test '(1518500249 3000631951) + (let*-values (((root rem) (exact-integer-sqrt (expt 2 61)))) + (list root rem))) + +(test '(815238614083298888 443242361398135744) + (let*-values (((root rem) (exact-integer-sqrt (expt 2 119)))) + (list root rem))) + +(test '(1152921504606846976 0) + (let*-values (((root rem) (exact-integer-sqrt (expt 2 120)))) + (list root rem))) + +(test '(1630477228166597776 1772969445592542976) + (let*-values (((root rem) (exact-integer-sqrt (expt 2 121)))) + (list root rem))) + (let*-values (((root rem) (exact-integer-sqrt (expt 2 140)))) (test 0 rem) (test (expt 2 140) (square root)))