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 or f

Word description
Outputs the interval consisting of points from i1 which are greater than all points in i2. If the resulting interval is empty, outputs f.

Definition

USING: accessors kernel sequences ;

IN: math.intervals

: assume> ( i1 i2 -- i3 )
    dup special-interval?
    [ drop ] [ from>> first (a,inf] interval-intersect ] if ;