math.intervals vocabulary
Factor handbook > Vocabulary index


Documentation
Intervals

Meta-data
Authors:Slava Pestov


Words

Tuple classes
ClassSuperclassSlots
interval tuplefrom to


Singleton classes
full-interval


Symbol words
empty-interval
incomparable


Ordinary words
WordStack effect
(a,b)( a b -- interval )
(a,b]( a b -- interval )
(a,inf]( a -- interval )
(interval-abs)( i1 -- i2 )
(interval-op)( p1 p2 quot -- p3 )
(interval<)( i1 i2 -- i1 i2 ? )
(rem-range)( i -- i' )
<interval>( from to -- interval )
[-inf,a)( a -- interval )
[-inf,a]( a -- interval )
[-inf,inf]( -- interval )
[0,inf]( -- interval )
[a,a]( a -- interval )
[a,b)( a b -- interval )
[a,b]( a b -- interval )
[a,inf]( a -- interval )
array-capacity-interval( -- interval )
assume<( i1 i2 -- i3 )
assume<=( i1 i2 -- i3 )
assume>( i1 i2 -- i3 )
assume>=( i1 i2 -- i3 )
closed-point( n -- endpoint )
closed-point?( from to -- ? )
compare-endpoints( p1 p2 quot -- ? )
do-empty-interval( i1 i2 quot -- i3 )
endpoint-max( p1 p2 -- p3 )
endpoint-min( p1 p2 -- p3 )
endpoint<( p1 p2 -- ? )
endpoint<=( p1 p2 -- ? )
endpoint=( p1 p2 -- ? )
endpoint>( p1 p2 -- ? )
endpoint>=( p1 p2 -- ? )
fixnum-interval( -- interval )
integral-closure( i1 -- i2 )
interval*( i1 i2 -- i3 )
interval+( i1 i2 -- i3 )
interval-( i1 i2 -- i3 )
interval-1+( i1 -- i2 )
interval-1-( i1 -- i2 )
interval-2/( i1 -- i2 )
interval-abs( i1 -- i2 )
interval-absq( i1 -- i2 )
interval-bitand( i1 i2 -- i3 )
interval-bitand-neg( i1 i2 -- ? )
interval-bitand-pos( i1 i2 -- ? )
interval-bitnot( i1 -- i2 )
interval-bitor( i1 i2 -- i3 )
interval-bitxor( i1 i2 -- i3 )
interval-closure( i1 -- i2 )
interval-contains?( x int -- ? )
interval-division-op( i1 i2 quot -- i3 )
interval-integer-op( i1 i2 quot -- i3 )
interval-interior( i1 -- i2 )
interval-intersect( i1 i2 -- i3 )
interval-length( int -- n )
interval-log2( i1 -- i2 )
interval-max( i1 i2 -- i3 )
interval-min( i1 i2 -- i3 )
interval-mod( i1 i2 -- i3 )
interval-neg( i1 -- i2 )
interval-nonnegative?( i -- ? )
interval-op( i1 i2 quot -- i3 nan? )
interval-recip( i1 -- i2 )
interval-rem( i1 i2 -- i3 )
interval-shift( i1 i2 -- i3 )
interval-shift-safe( i1 i2 -- i3 )
interval-singleton?( int -- ? )
interval-sq( i1 -- i2 )
interval-subset?( i1 i2 -- ? )
interval-union( i1 i2 -- i3 )
interval-zero?( int -- ? )
interval/( i1 i2 -- i3 )
interval/-safe( i1 i2 -- i3 )
interval/f( i1 i2 -- i3 )
interval/i( i1 i2 -- i3 )
interval<( i1 i2 -- ? )
interval<=( i1 i2 -- ? )
interval>( i1 i2 -- ? )
interval>=( i1 i2 -- ? )
interval>points( int -- from to )
intervals-intersect?( i1 i2 -- ? )
left-endpoint-<( i1 i2 -- ? )
left-endpoint-<=( i1 i2 -- ? )
nan-not-ok( interval nan? -- interval )
nan-ok( interval nan? -- interval )
open-point( n -- endpoint )
points>interval( seq -- interval nan? )
right-endpoint-<( i1 i2 -- ? )
right-endpoint-<=( i1 i2 -- ? )
special-interval?( interval -- ? )


Class predicate words
WordStack effect
full-interval?( object -- ? )
interval?( object -- ? )


Files