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