interval-bitor ( i1 i2 -- i3 )
Factor handbook » The language » Numbers » Intervals » Interval arithmetic

Prev:	interval-bitand ( i1 i2 -- i3 )
Next:	interval-bitxor ( i1 i2 -- i3 )

Vocabulary
math.intervals

Inputs

i1	an interval
i2	an interval

Outputs

i3	an interval

Word description
Outputs an interval containing all possible values obtained by applying bitor to elements of i1 and i2.

Definition

USING: combinators kernel math math.intervals.private ;

IN: math.intervals

: interval-bitor ( i1 i2 -- i3 )
    [
        {
            {
                [ 2dup [ interval-nonnegative? ] both? ]
                [
                    [ max-lower-bound ] [ max-upper-bound ] 2bi
                    bit-weight 1 - [a,b]
                ]
            }
            {
                [ 2dup [ interval-negative? ] both? ]
                [ max-lower-bound -1 [a,b] ]
            }
            [
                interval-union interval-bit-weight
                [ neg ] [ 1 - ] bi [a,b]
            ]
        } cond
    ] do-empty-interval ;