integral-closure ( i1 -- i2 )

Factor handbook » The language » Numbers » Intervals » Set-theoretic operations on intervals

Factor handbook » The language » Numbers » Intervals » Set-theoretic operations on intervals

Prev: | interval-closure ( i1 -- i2 ) |

Vocabulary

math.intervals

Inputs

Outputs

Word description

Outputs a closed interval which is equal as a set to i1, when i1 is viewed as an interval over in integers (that is, a discrete set).

Definition

math.intervals

Inputs

i1 | an interval with integer end-points |

Outputs

i2 | a closed interval with integer end-points |

Word description

Outputs a closed interval which is equal as a set to i1, when i1 is viewed as an interval over in integers (that is, a discrete set).

Definition

This documentation was generated offline from a
`load-all`

image. If you want, you can also
browse the documentation from within the UI developer tools. See
the Factor website
for more information.

Factor 0.99 x86.64 (2203, heads/master-424edf64aa, Mar 8 2023 13:48:50)