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

Prev:assume> ( i1 i2 -- i3 )


Vocabulary
math.intervals

Inputs
i1an interval
i2an interval


Outputs
i3an interval


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

Definition