core/sets/sets-tests.factor

   1 ! Copyright (C) 2010 Daniel Ehrenberg, Doug Coleman.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: bit-arrays bit-sets kernel math sequences sets sorting
   4 tools.test ;
   5 IN: sets.tests
   6
   7 { V{ 1 2 3 } } [ 3 V{ 1 2 } clone [ adjoin ] keep ] unit-test
   8 { V{ 1 2 } } [ 2 V{ 1 2 } clone [ adjoin ] keep ] unit-test
   9 { t } [ 1 V{ } ?adjoin ] unit-test
  10 { f } [ 1 V{ 1 } ?adjoin ] unit-test
  11
  12 { t } [ 4 { 2 4 5 } in? ] unit-test
  13 { f } [ 1 { 2 4 5 } in? ] unit-test
  14 { f } [ f 5 <bit-set> in? ] unit-test
  15
  16 { V{ 1 2 } } [ 3 V{ 1 2 } clone [ delete ] keep ] unit-test
  17 { V{ 2 } } [ 1 V{ 1 2 } clone [ delete ] keep ] unit-test
  18 { t } [ 1 V{ 1 } ?delete ] unit-test
  19 { f } [ 1 V{ } ?delete ] unit-test
  20 { 0 } [ 5 <bit-set> 0 over delete cardinality ] unit-test
  21 { 0 } [ 5 <bit-set> f over delete cardinality ] unit-test
  22 { 0 } [ 5 <bit-set> 3 over adjoin 3 over delete cardinality ] unit-test
  23 { 0 } [ 5 <bit-set> 10 over delete cardinality ] unit-test
  24 { HS{ 1 } } [ HS{ 1 2 } 2 over delete ] unit-test
  25
  26 { { 1 2 3 } } [ { 1 1 1 2 2 3 3 3 3 3 } dup set-like natural-sort ] unit-test
  27 { { 1 2 3 } } [ HS{ 1 2 3 } { } set-like natural-sort ] unit-test
  28 { { 1 2 3 } } [ { 1 2 2 3 3 } { } set-like ] unit-test
  29 { { 3 2 1 } } [ { 3 3 2 2 1 } { } set-like ] unit-test
  30 { t } [ 4 <bit-set> 1 <bit-set> set-like 4 <bit-set> = ] unit-test
  31 { t } [ { 1 2 3 } HS{ } set-like HS{ 1 2 3 } = ] unit-test
  32
  33 { HS{ 1 2 3 } } [ { 1 2 3 } fast-set ] unit-test
  34 { T{ bit-set { table ?{ f } } } }
  35 [ 1 <bit-set> fast-set ] unit-test
  36
  37 { { 1 } } [ { 1 } members ] unit-test
  38
  39 { { } } [ { } { } union ] unit-test
  40 { { 1 2 3 4 } } [ { 1 2 3 } { 2 3 4 } union ] unit-test
  41
  42 { { } } [ { } { } intersect ] unit-test
  43 { { 2 3 } } [ { 1 2 3 } { 2 3 4 } intersect ] unit-test
  44 { { 2 3 } } [ { 1 2 3 } { 2 3 4 5 } intersect ] unit-test
  45 { { 2 3 4 } } [ { 1 2 3 4 } { 2 3 4 } intersect ] unit-test
  46 { { 2 3 } } [ { 1 2 2 3 } { 2 3 3 4 } intersect ] unit-test
  47
  48 { t } [ { 1 2 } { 1 3 } intersects? ] unit-test
  49 { f } [ { 4 2 } { 1 3 } intersects? ] unit-test
  50 { f } [ { } { 1 } intersects? ] unit-test
  51 { f } [ { 1 } { } intersects? ] unit-test
  52 { f } [ { } { } intersects? ] unit-test
  53
  54 { { } } [ { } { } diff ] unit-test
  55 { { 1 } } [ { 1 2 3 } { 2 3 4 } diff ] unit-test
  56 { { 1 } } [ { 1 2 3 } { 2 3 4 5 } diff ] unit-test
  57 { { 1 } } [ { 1 2 3 4 } { 2 3 4 } diff ] unit-test
  58 { { 1 } } [ { 1 1 2 3 } { 2 3 4 4 } diff ] unit-test
  59
  60 { T{ bit-set { table ?{ f f f } } } }
  61 [ 3 <bit-set> 0 over adjoin dup diff ] unit-test
  62
  63 { f } [ { 1 2 3 4 } { 1 2 } subset? ] unit-test
  64 { t } [ { 1 2 3 4 } { 1 2 } swap subset? ] unit-test
  65 { t } [ { 1 2 } { 1 2 } subset? ] unit-test
  66 { t } [ { } { 1 2 } subset? ] unit-test
  67 { t } [ { } { } subset? ] unit-test
  68 { f } [ { 1 } { } subset? ] unit-test
  69
  70 { t } [ { 1 2 3 } { 2 1 3 } set= ] unit-test
  71 { f } [ { 2 3 } { 1 2 3 } set= ] unit-test
  72 { f } [ { 1 2 3 } { 2 3 } set= ] unit-test
  73
  74 { { 2 1 2 1 } } [ { 1 2 3 2 1 2 1 } duplicates ] unit-test
  75 { f } [ HS{ 1 2 3 1 2 1 } duplicates ] unit-test
  76
  77 { f } [ { 0 1 1 2 3 5 } all-unique? ] unit-test
  78 { t } [ { 0 1 2 3 4 5 } all-unique? ] unit-test
  79 { t } [ HS{ 0 1 2 3 4 5 } all-unique? ] unit-test
  80
  81 { t } [ f null? ] unit-test
  82 { f } [ { 4 } null? ] unit-test
  83 { t } [ HS{ } null? ] unit-test
  84 { f } [ HS{ 3 } null? ] unit-test
  85 { t } [ 2 <bit-set> null? ] unit-test
  86 { f } [ 3 <bit-set> 0 over adjoin null? ] unit-test
  87
  88 { 0 } [ f cardinality ] unit-test
  89 { 0 } [ { } cardinality ] unit-test
  90 { 1 } [ { 1 } cardinality ] unit-test
  91 { 1 } [ { 1 1 } cardinality ] unit-test
  92 { 1 } [ HS{ 1 } cardinality ] unit-test
  93 { 3 } [ HS{ 1 2 3 } cardinality ] unit-test
  94 { 0 } [ 0 <bit-set> cardinality ] unit-test
  95 { 0 } [ 5 <bit-set> cardinality ] unit-test
  96 { 2 } [ 5 <bit-set> 0 over adjoin 1 over adjoin cardinality ] unit-test
  97 { 1 } [ 5 <bit-set> 1 over adjoin cardinality ] unit-test
  98
  99 { { } } [ { } { } within ] unit-test
 100 { { 2 3 } } [ { 1 2 3 } { 2 3 4 } within ] unit-test
 101 { { 2 2 3 } } [ { 1 2 2 3 } { 2 3 3 4 } within ] unit-test
 102
 103 { { } } [ { } { } without ] unit-test
 104 { { 1 } } [ { 1 2 3 } { 2 3 4 } without ] unit-test
 105 { { 1 1 } } [ { 1 1 2 3 3 } { 2 3 4 4 } without ] unit-test
 106
 107 ! combine
 108 { { 1 2 3 } } [ { { 1 } { 2 } { 1 3 } } combine ] unit-test
 109 { f } [ { } combine ] unit-test
 110
 111 ! refine
 112 { { 2 } } [
 113     { { 2 3 } { 2 4 } { 9 8 4 2 } } refine
 114 ] unit-test
 115
 116 { { 1 4 9 16 25 36 } }
 117 [ { { 1 2 3 } { 4 5 6 } } [ [ sq ] map ] gather ] unit-test
 118
 119 { H{ { 3 HS{ 1 2 } } } } [ H{ } clone 1 3 pick adjoin-at 2 3 pick adjoin-at ] unit-test
 120
 121 TUPLE: null-set ;
 122 INSTANCE: null-set set
 123 M: null-set members drop f ;
 124
 125 { 0 } [ T{ null-set } cardinality ] unit-test
 126 { f } [ T{ null-set } members ] unit-test
 127 { t } [ T{ null-set } T{ null-set } set-like T{ null-set } = ] unit-test
 128
 129 { t } [ T{ null-set } set? ] unit-test
 130 { t } [ HS{ } set? ] unit-test
 131 { t } [ { } set? ] unit-test
 132 { t } [ 5 <bit-set> set? ] unit-test
 133 { f } [ H{ } set? ] unit-test
 134
 135 { HS{ } } [ HS{ } [ clear-set ] keep ] unit-test
 136 { HS{ } } [ HS{ 1 2 3 } [ clear-set ] keep ] unit-test
 137
 138 { HS{ } } [ HS{ } HS{ } union! ] unit-test
 139 { HS{ 1 } } [ HS{ 1 } HS{ } union! ] unit-test
 140 { HS{ 1 } } [ HS{ } HS{ 1 } union! ] unit-test
 141 { HS{ 1 2 3 } } [ HS{ 1 } HS{ 1 2 3 } union! ] unit-test
 142
 143 { f } [ { } intersection ] unit-test
 144 { HS{ } } [ { HS{ } } intersection ] unit-test
 145 { HS{ 1 } } [ { HS{ 1 2 3 } HS{ 1 } } intersection ] unit-test
 146
 147 { HS{ } } [ HS{ } HS{ } diff! ] unit-test
 148 { HS{ 1 } } [ HS{ 1 2 3 } HS{ 2 3 } diff! ] unit-test
 149 { HS{ 1 } } [ HS{ 1 } HS{ 2 3 4 } diff! ] unit-test
 150 { HS{ 1 2 3 } } [ HS{ 1 2 3 } HS{ 4 } diff! ] unit-test
 151
 152 { HS{ } } [ HS{ } HS{ } intersect! ] unit-test
 153 { HS{ 2 3 } } [ HS{ 1 2 3 } HS{ 2 3 } intersect! ] unit-test
 154 { HS{ } } [ HS{ 1 } HS{ 2 3 4 } intersect! ] unit-test
 155 { HS{ } } [ HS{ 1 2 3 } HS{ 4 } intersect! ] unit-test