assume<= ( i1 i2 -- i3 )
Factor handbook » The language » Numbers » Intervals » Comparing intervals

Prev:	assume< ( i1 i2 -- i3 )
Next:	assume> ( i1 i2 -- i3 )

Vocabulary
math.intervals

Inputs

i1	an interval
i2	an interval

Outputs

i3	an interval

Word description
Outputs the interval consisting of points from i1 which are less or equal to all points in i2.

Definition

USING: accessors kernel sequences ;

IN: math.intervals

: assume<= ( i1 i2 -- i3 )
    dup special-interval?
    [ drop ] [ to>> first [-inf,b] interval-intersect ] if ;