Comparing intervals
Factor handbook > The language > Numbers > Intervals

Prev:Set-theoretic operations on intervals


interval< ( i1 i2 -- ? )

interval<= ( i1 i2 -- ? )

interval> ( i1 i2 -- ? )

interval>= ( i1 i2 -- ? )

assume< ( i1 i2 -- i3 )

assume<= ( i1 i2 -- i3 )

assume> ( i1 i2 -- i3 )

assume>= ( i1 i2 -- i3 )