math.intervals vocabulary
Factor handbook » Vocabulary index

Documentation
Intervals

Metadata

Parents:	math
Authors:	Slava Pestov

Words

Tuple classes

Class	Superclass	Slots
interval	tuple	from to

Singleton classes

empty-interval

full-interval

Union classes

special-interval

Generic words

Word	Stack effect
interval-contains?	( x interval -- ? )
interval-length	( interval -- n )
interval-log2	( i1 -- i2 )
interval-singleton?	( interval -- ? )

Symbol words

incomparable

Ordinary words

Word	Stack 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)	( interval -- interval' )
<interval>	( from to -- interval )
[-inf,b)	( b -- interval )
[-inf,b]	( b -- interval )
[-inf,inf]	( -- interval )
[0,b)	( b -- interval )
[0,b]	( b -- 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-bitnot	( i1 -- i2 )
interval-bitor	( i1 i2 -- i3 )
interval-bitxor	( i1 i2 -- i3 )
interval-closure	( i1 -- i2 )
interval-division-op	( i1 i2 quot -- i3 )
interval-integer-op	( i1 i2 quot -- i3 )
interval-interior	( i1 -- i2 )
interval-intersect	( i1 i2 -- i3 )
interval-max	( i1 i2 -- i3 )
interval-min	( i1 i2 -- i3 )
interval-mod	( i1 i2 -- i3 )
interval-neg	( i1 -- i2 )
interval-negative?	( interval -- ? )
interval-nonnegative?	( interval -- ? )
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-sq	( i1 -- i2 )
interval-subset?	( i1 i2 -- ? )
interval-union	( i1 i2 -- i3 )
interval-zero?	( interval -- ? )
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	( interval -- 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 -- ? )

Class predicate words

Word	Stack effect
empty-interval?	( object -- ? )
full-interval?	( object -- ? )
interval?	( object -- ? )
special-interval?	( object -- ? )

Files

resource:basis/math/intervals/intervals.factor
resource:basis/math/intervals/intervals-docs.factor
resource:basis/math/intervals/intervals-tests.factor

Metadata files

resource:basis/math/intervals/authors.txt
resource:basis/math/intervals/summary.txt