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

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

Vocabulary
math.intervals

Inputs

i1	an interval
i2	an interval

Outputs

i3	an interval

Word description
Shifts i1 to the left by i2 bits. Outputs full-interval if the endpoints of either i1 or i2 are not integers.

Definition

USING: kernel math ;

IN: math.intervals

: interval-shift ( i1 i2 -- i3 )
    [
        [
            [ interval-closure ] bi@ [ shift ] interval-op
            nan-not-ok
        ] interval-integer-op
    ] do-empty-interval ;