1 USING: math.intervals kernel sequences words math math.order
2 arrays prettyprint tools.test random vocabs combinators
4 IN: math.intervals.tests
6 [ empty-interval ] [ 2 2 (a,b) ] unit-test
8 [ empty-interval ] [ 2 2 [a,b) ] unit-test
10 [ empty-interval ] [ 2 2 (a,b] ] unit-test
12 [ empty-interval ] [ 3 2 [a,b] ] unit-test
14 [ T{ interval f { 1 t } { 2 t } } ] [ 1 2 [a,b] ] unit-test
16 [ T{ interval f { 1 t } { 2 f } } ] [ 1 2 [a,b) ] unit-test
18 [ T{ interval f { 1 f } { 2 f } } ] [ 1 2 (a,b) ] unit-test
20 [ T{ interval f { 1 f } { 2 t } } ] [ 1 2 (a,b] ] unit-test
22 [ T{ interval f { 1 t } { 1 t } } ] [ 1 [a,a] ] unit-test
24 [ t ] [ { 3 t } { 3 f } endpoint< ] unit-test
25 [ t ] [ { 2 f } { 3 f } endpoint< ] unit-test
26 [ f ] [ { 3 f } { 3 t } endpoint< ] unit-test
27 [ t ] [ { 4 f } { 3 t } endpoint> ] unit-test
28 [ f ] [ { 3 f } { 3 t } endpoint> ] unit-test
30 [ empty-interval ] [ 1 2 [a,b] empty-interval interval+ ] unit-test
32 [ empty-interval ] [ empty-interval 1 2 [a,b] interval+ ] unit-test
35 1 2 [a,b] -3 3 [a,b] interval+ -2 5 [a,b] =
39 1 2 [a,b] -3 3 (a,b) interval+ -2 5 (a,b) =
42 [ empty-interval ] [ 1 2 [a,b] empty-interval interval- ] unit-test
44 [ empty-interval ] [ empty-interval 1 2 [a,b] interval- ] unit-test
47 1 2 [a,b] 0 1 [a,b] interval- 0 2 [a,b] =
50 [ empty-interval ] [ 1 2 [a,b] empty-interval interval* ] unit-test
52 [ empty-interval ] [ empty-interval 1 2 [a,b] interval* ] unit-test
55 1 2 [a,b] 0 4 [a,b] interval* 0 8 [a,b] =
59 1 2 [a,b] -4 4 [a,b] interval* -8 8 [a,b] =
63 1 2 [a,b] -0.5 0.5 [a,b] interval* -1 1 [a,b] =
67 1 2 [a,b] -0.5 0.5 (a,b] interval* -1 1 (a,b] =
71 -1 1 [a,b] -1 1 (a,b] interval* -1 1 [a,b] =
74 [ t ] [ 1 2 [a,b] dup empty-interval interval-union = ] unit-test
76 [ t ] [ empty-interval 1 2 [a,b] tuck interval-union = ] unit-test
79 0 1 (a,b) 0 1 [a,b] interval-union 0 1 [a,b] =
83 0 1 (a,b) 1 2 [a,b] interval-union 0 2 (a,b] =
86 [ f ] [ 0 1 (a,b) f interval-union ] unit-test
89 0 1 (a,b) 0 1 [a,b] interval-intersect 0 1 (a,b) =
92 [ empty-interval ] [ 0 5 [a,b] -1 [a,a] interval-intersect ] unit-test
94 [ empty-interval ] [ 0 5 (a,b] 0 [a,a] interval-intersect ] unit-test
96 [ empty-interval ] [ empty-interval -1 [a,a] interval-intersect ] unit-test
98 [ empty-interval ] [ 0 5 (a,b] empty-interval interval-intersect ] unit-test
101 empty-interval empty-interval interval-subset?
105 empty-interval 0 1 [a,b] interval-subset?
109 0 1 (a,b) 0 1 [a,b] interval-subset?
113 0 0 1 (a,b) interval-contains?
117 0.5 0 1 (a,b) interval-contains?
121 1 0 1 (a,b) interval-contains?
124 [ empty-interval ] [ -1 1 (a,b) empty-interval interval/ ] unit-test
126 [ t ] [ -1 1 (a,b) -1 1 (a,b) interval/ [-inf,inf] = ] unit-test
128 [ t ] [ -1 1 (a,b) 0 1 (a,b) interval/ [-inf,inf] = ] unit-test
130 "math.ratios.private" vocab [
132 -1 1 (a,b) 0.5 1 (a,b) interval/ -2 2 (a,b) =
136 [ f ] [ empty-interval interval-singleton? ] unit-test
138 [ t ] [ 1 [a,a] interval-singleton? ] unit-test
140 [ f ] [ 1 1 [a,b) interval-singleton? ] unit-test
142 [ f ] [ 1 3 [a,b) interval-singleton? ] unit-test
144 [ f ] [ 1 1 (a,b) interval-singleton? ] unit-test
146 [ 2 ] [ 1 3 [a,b) interval-length ] unit-test
148 [ 0 ] [ empty-interval interval-length ] unit-test
150 [ t ] [ 0 5 [a,b] 5 [a,a] interval<= ] unit-test
152 [ incomparable ] [ empty-interval 5 [a,a] interval< ] unit-test
154 [ incomparable ] [ 5 [a,a] empty-interval interval< ] unit-test
156 [ incomparable ] [ 0 5 [a,b] 5 [a,a] interval< ] unit-test
158 [ t ] [ 0 5 [a,b) 5 [a,a] interval< ] unit-test
160 [ f ] [ 0 5 [a,b] -1 [a,a] interval< ] unit-test
162 [ incomparable ] [ 0 5 [a,b] 1 [a,a] interval< ] unit-test
164 [ t ] [ -1 1 (a,b) -1 [a,a] interval> ] unit-test
166 [ t ] [ -1 1 (a,b) -1 [a,a] interval>= ] unit-test
168 [ f ] [ -1 1 (a,b) -1 [a,a] interval< ] unit-test
170 [ f ] [ -1 1 (a,b) -1 [a,a] interval<= ] unit-test
172 [ t ] [ -1 1 (a,b] 1 [a,a] interval<= ] unit-test
174 [ t ] [ -1 1 (a,b] 1 2 [a,b] interval<= ] unit-test
176 [ incomparable ] [ -1 1 (a,b] empty-interval interval>= ] unit-test
178 [ incomparable ] [ empty-interval -1 1 (a,b] interval>= ] unit-test
180 [ incomparable ] [ -1 1 (a,b] 1 2 [a,b] interval>= ] unit-test
182 [ incomparable ] [ -1 1 (a,b] 1 2 [a,b] interval> ] unit-test
184 [ t ] [ -1 1 (a,b] 1 2 (a,b] interval<= ] unit-test
186 [ f ] [ 0 10 [a,b] 0 [a,a] interval< ] unit-test
188 [ f ] [ 0 10 [a,b] 10 [a,a] interval> ] unit-test
190 [ incomparable ] [ 0 [a,a] 0 10 [a,b] interval< ] unit-test
192 [ incomparable ] [ 10 [a,a] 0 10 [a,b] interval> ] unit-test
194 [ t ] [ 0 [a,a] 0 10 [a,b] interval<= ] unit-test
196 [ incomparable ] [ 0 [a,a] 0 10 [a,b] interval>= ] unit-test
198 [ t ] [ 0 10 [a,b] 0 [a,a] interval>= ] unit-test
208 [ t ] [ 1 100 [a,b] -1 1 [a,b] interval/i [-inf,inf] = ] unit-test
210 ! Interval random tester
211 : random-element ( interval -- n )
212 dup to>> first over from>> first tuck - random +
213 2dup swap interval-contains? [
219 : random-interval ( -- interval )
220 2000 random 1000 - dup 2 1000 random + +
221 1 random zero? [ [ neg ] bi@ swap ] when
229 : random-unary-op ( -- pair )
231 { bitnot interval-bitnot }
238 "math.ratios.private" vocab [
239 { recip interval-recip } suffix
243 : unary-test ( -- ? )
244 random-interval random-unary-op ! 2dup . .
245 0 pick interval-contains? over first \ recip eq? and [
248 [ >r random-element ! dup .
249 r> first execute ] 2keep
250 second execute interval-contains?
253 [ t ] [ 80000 [ drop unary-test ] all? ] unit-test
255 : random-binary-op ( -- pair )
263 { bitand interval-bitand }
264 { bitor interval-bitor }
265 { bitxor interval-bitxor }
266 { shift interval-shift }
270 "math.ratios.private" vocab [
271 { / interval/ } suffix
275 : binary-test ( -- ? )
276 random-interval random-interval random-binary-op ! 3dup . . .
277 0 pick interval-contains? over first { / /i mod rem } member? and [
280 [ >r [ random-element ] bi@ ! 2dup . .
281 r> first execute ] 3keep
282 second execute interval-contains?
285 [ t ] [ 80000 [ drop binary-test ] all? ] unit-test
287 : random-comparison ( -- pair )
295 : comparison-test ( -- ? )
296 random-interval random-interval random-comparison
297 [ >r [ random-element ] bi@ r> first execute ] 3keep
298 second execute dup incomparable eq? [ 2drop t ] [ = ] if ;
300 [ t ] [ 40000 [ drop comparison-test ] all? ] unit-test
302 [ t ] [ -10 10 [a,b] 0 100 [a,b] assume> 0 10 (a,b] = ] unit-test
304 [ t ] [ -10 10 [a,b] 0 100 [a,b] assume>= 0 10 [a,b] = ] unit-test
306 [ t ] [ -10 10 [a,b] 0 100 [a,b] assume< -10 10 [a,b] = ] unit-test
308 [ t ] [ -10 10 [a,b] -100 0 [a,b] assume< -10 0 [a,b) = ] unit-test
310 [ t ] [ -10 10 [a,b] -100 0 [a,b] assume<= -10 0 [a,b] = ] unit-test
312 [ t ] [ -10 10 [a,b] 0 100 [a,b] assume<= -10 10 [a,b] = ] unit-test
314 [ t ] [ -10 10 [a,b] interval-abs 0 10 [a,b] = ] unit-test
316 ! Test that commutative interval ops really are
317 : random-interval-or-empty ( -- )
318 10 random 0 = [ empty-interval ] [ random-interval ] if ;
320 : random-commutative-op ( -- op )
323 interval-bitor interval-bitand interval-bitxor
324 interval-max interval-min
330 random-interval-or-empty random-interval-or-empty
331 random-commutative-op
332 [ execute ] [ swapd execute ] 3bi =