From 1d0b67586aa63274260127afcdc272944f7f400e Mon Sep 17 00:00:00 2001 From: Alex Shinn Date: Wed, 18 May 2016 23:17:26 +0900 Subject: [PATCH] more intersection/difference tests --- lib/chibi/iset-test.sld | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) diff --git a/lib/chibi/iset-test.sld b/lib/chibi/iset-test.sld index 5c25a64a..faed5853 100644 --- a/lib/chibi/iset-test.sld +++ b/lib/chibi/iset-test.sld @@ -104,6 +104,25 @@ ((1 2 3 4 5) (i 4 5) (= 4 5)) ((1 2 3 4 5) (i 1 2 3 4 5) (= 1 2 3 4 5)) ((1 2 3 4 5) (i 0 1 5 6) (= 1 5)) + ((1 2 3 4 5 6 7 8) (i 1 2 3 4) (= 1 2 3 4)) + ((1 3 4 5 6 7 8) (i 1 3 4) (= 1 3 4)) + ((1 2 4 5 6 7 8) (i 1 2 4) (= 1 2 4)) + ((1 2 3 5 6 7 8) (i 1 2 3) (= 1 2 3)) + ((1 2 3 4 6 7 8) (i 1 2 3 4) (= 1 2 3 4)) + ((1 2 3 6 7 8) (i 1 2 3) (= 1 2 3)) + ((1 3 6 8) (i 1 3) (= 1 3)) + ((1 2 3 4 1001 1002 1003 1004 2001 2002 2003 2004) + (i 0 1 2 3 4 10 1001 1002 3001) + (= 1 2 3 4 1001 1002)) + ((1 2 4 1001 1002 1003 1004 2001 2002 2003 2004) + (i 1 2 3 4 1001 1002) + (= 1 2 4 1001 1002)) + ((1 2 3 4 1001 1002 1004 2001 2002 2003 2004) + (i 1 2 3 4 1001 1003) + (= 1 2 3 4 1001)) + ((1 2 3 4 1001 1002 1003 1004 2001 2003 2004) + (i 1 2 3 4 1001 1004 1005 2000 2001) + (= 1 2 3 4 1001 1004 2001)) ;; difference ((1 2 3 4 5) (d 1) (!? 0) (? 2 3 4 5) (!? 6)) ((1 2 3 4 5) (d 1 2) (!? 0) (? 3 4 5) (!? 6)) @@ -114,6 +133,27 @@ ((1 2 3 4 5) (d 4 5) (!? 0) (? 1 2 3) (!? 6)) ((1 2 3 4 5) (d 1 2 3 4 5) (z)) ((1 2 3 4 5) (d 0 1 5 6) (? 2 3 4)) + ((1 2 3 4 5 6 7 8) (d 1 2 3 4) (= 5 6 7 8)) + ((1 3 4 5 6 7 8) (d 1 3 4) (= 5 6 7 8)) + ((1 2 4 5 6 7 8) (d 1 2 4) (= 5 6 7 8)) + ((1 2 3 5 6 7 8) (d 1 2 3) (= 5 6 7 8)) + ((1 2 3 4 6 7 8) (d 1 2 3 4) (= 6 7 8)) + ((1 2 3 4 5 7 8) (d 1 2 3 4) (= 5 7 8)) + ((1 2 3 4 5 6 8) (d 1 2 3 4) (= 5 6 8)) + ((1 2 3 6 7 8) (d 1 2 3) (= 6 7 8)) + ((1 3 6 8) (d 1 3) (= 6 8)) + ((1 2 3 4 1001 1002 1003 1004 2001 2002 2003 2004) + (d 1 2 3 4 1001 1002) + (= 1003 1004 2001 2002 2003 2004)) + ((1 2 4 1001 1002 1003 1004 2001 2002 2003 2004) + (d 1 2 4 1001 1002) + (= 1003 1004 2001 2002 2003 2004)) + ((1 2 3 4 1001 1002 1004 2001 2002 2003 2004) + (d 1 2 3 4 1001 1002) + (= 1004 2001 2002 2003 2004)) + ((1 2 3 4 1001 1002 1003 1004 2001 2003 2004) + (d 1 2 3 4 1001 1002) + (= 1003 1004 2001 2003 2004)) ;; map ((1 2 3) (m ,(lambda (x) (+ x 1))) (= 2 3 4)) )))