Class Domain

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

Read-only access to the normalized interval list.

Number of intervals, once merged.

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.

Complement of this domain in ℝ. Each interval boundary flips its open/closed sense.

True when the number belongs to one of the intervals.

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.

O(n·m) pairwise intersection — negligible for the typical 1–3 interval count. The result is normalized (sorted, non-overlapping).

True when the domain has no interval.

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

Returns the union, automatically normalized (overlapping intervals are merged).

The empty domain ∅.

Build a domain from a single interval.

Build a domain from intervals. They are sorted, and the overlapping or touching ones are merged.

Parse a French-notation domain string.

Supported forms:

• O/ → ∅
• RR → ℝ
• RR^** → ℝ* = ]-∞;0[ ∪ ]0;+∞[
• RR\{a;b;…} → ℝ minus a finite set of points
• {a} → closed singleton (delegated to Interval.fromString)
• {a;b;…} → union of closed singletons
• I1uuI2uu… → union of intervals (each parsed via Interval.fromString)
• Any single-interval string → delegated to Interval.fromString

The whole real line ℝ.