     16 <iota> dup [ bitor ] cartesian-map flatten
     [ 0 15 [a,b] interval-contains? ] all?
 ] unit-test
-
-: cartesian-bounds ( range range quot -- min max )
-    cartesian-map flatten minmax ; inline
-
-{ 0 15 } [ 16 <iota> dup [ bitor ] cartesian-bounds ] unit-test
-
-{ -8 7 } [ -8 7 1 <range> dup [ bitor ] cartesian-bounds ] unit-test
-
-{ 6 15 } [ 5 15 1 <range> 6 15 1 <range> [ bitor ] cartesian-bounds ] unit-test
-
-{ -12 -1 } [ -16 -12 1 <range> -12 -2 1 <range> [ bitor ] cartesian-bounds ] unit-test
-
-{ -16 15 } [ -16 4 1 <range> -1 15 1 <range> [ bitor ] cartesian-bounds ] unit-test
 
 ${ 0 255 [a,b] } [ 0 255 [a,b] dup interval-bitor ] unit-test
 ${ 0 511 [a,b] } [ 0 256 [a,b] dup interval-bitor ] unit-test

    ] unit-test
] each

! test singleton behavior
{ f } [ full-interval interval-nonnegative? ] unit-test

{ t } [ empty-interval interval-nonnegative? ] unit-test

{ t } [ -1/0. 1/0. [ full-interval interval-contains? ] bi@ and ] unit-test

! Interval bitor
{ 1/0. } [ 1/0. bit-weight ] unit-test
{ 1/0. } [ -1/0. bit-weight ] unit-test

