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

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


Vocabulary
math.intervals

Inputs
aa real


Outputs
intervalan interval


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

Definition

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