Sets of numbers
DomainSets has specific types that represent common sets of numbers.
DomainSets.ℕ — Constant
The set of natural numbers.
DomainSets.ℤ — Constant
The set of integers.
DomainSets.ℚ — Constant
The set of rational numbers.
DomainSets.ℝ — Constant
The set of real numbers.
DomainSets.ℂ — Constant
The set of complex numbers.
DomainSets.ℝ1 — Constant
The Euclidean space $ℝ^1$.
DomainSets.ℝ2 — Constant
The Euclidean space $ℝ^2$.
DomainSets.ℝ3 — Constant
The Euclidean space $ℝ^3$.
DomainSets.ℝ4 — Constant
The Euclidean space $ℝ^4$.