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
i1an interval
i2an interval


Outputs
i3an 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