[a,inf] ( a -- interval )
Factor handbook » The language » Numbers » Intervals » Creating intervals

Prev:[-inf,b) ( b -- interval )
Next:(a,inf] ( a -- interval )


Vocabulary
math.intervals

Inputs
aa real


Outputs
intervalan interval


Word description
Creates a new interval containing all real numbers greater than or equal to a, together with positive infinity.

Definition

: [a,inf] ( a -- interval ) 1/0. [a,b] ; inline