interval-closure ( i1 -- i2 )
Factor handbook » The language » Numbers » Intervals » Set-theoretic operations on intervals

Prev:	interval-union ( i1 i2 -- i3 )
Next:	integral-closure ( i1 -- i2 )

Vocabulary
math.intervals

Inputs

i1	an interval

Outputs

i2	an interval

Word description
Outputs the smallest closed interval containing the endpoints of i1.

Examples

USING: math.intervals prettyprint ; 1 3 [a,b) interval-closure .
T{ interval { from { 1 t } } { to { 3 t } } }

Definition

USING: kernel sequences ;

IN: math.intervals

: interval-closure ( i1 -- i2 )
    dup [ interval>points [ first ] bi@ [a,b] ] when ;