Class Interval

ASCIIMath rendering of the current state (terminal output, not chainable).

Left bound as a Solution, or null for -∞.

True when the left bound is excluded. An infinite bound is always open.

Right bound as a Solution, or null for +∞.

True when the right bound is excluded. An infinite bound is always open.

LaTeX rendering of the current state (terminal output, not chainable).

Full duplicate of this instance, including display state (selected form and options set via as*** / with***). Distinct from copy.

True when the number is in the interval. The bounds are compared by their decimal value, and an empty interval or a NaN contains nothing.

Copy the mathematical state of another instance into this (display state is NOT transferred — the receiver keeps its own formatting). Entry point used when constructing/parsing from a same-type input. Distinct from clone. Classes without a real implementation throw NotImplementedError.

Intersection of two intervals. Returns an empty interval (not null) when the intervals do not overlap — check isEmpty() on the result.

True for the empty set, and for bounds that enclose nothing (]2;2[, [3;1]).

True iff the interval is a closed singleton [x; x].

True iff the interval is the whole real line ]-∞; +∞[.

Replace the interval with a string or another interval. See fromString for the notation.

The empty set ∅.

Construct an interval from explicit bounds and open/closed flags. A null bound encodes ±∞ and is always forced open, regardless of the flag passed.

Parse a French-notation interval string.

Supported forms:

• O/ → empty set
• RR → ]-∞; +∞[
• RR_+, RR_- → [0; +∞[ or ]-∞; 0]
• RR_+**, RR_-** → ]0; +∞[ or ]-∞; 0[
• {a} → singleton {a}
• ]a;b[, [a;b], [a;b[, ]a;b] → general (a, b parsed via Solution.fromString or ±oo)

RR^** (= ℝ*) is NOT a single interval — use Domain.fromString instead.

A closed singleton {x}.

The whole real line ]-∞; +∞[.