symset 0.0.0

Symbolic Sets for Python, written in Rust

symset

Symbolic Sets for Python, written in Rust

Roadmap

Special sets

• Empty - The empty set or void set, $\displaystyle\varnothing⁠ = { }$ (wiki)
• Universe - Universe set $\displaystyle\mathbf{U}⁠$ containing everything, including itself (wiki)

Complement operations

• Complement[A] - Absolute complement $\displaystyle A^\complement⁠=\mathbf{U}\setminus A$ (wiki)
• Difference[A, B] - Relative complement or set-theoretic difference $\displaystyle A \setminus B$ (wiki)

External operations

• Subsets[A] - Power set $\displaystyle\mathcal{P}(A)$; the set of all subsets of $\displaystyle A$, with $\displaystyle \left|P(A)\right|$ (wiki)
• Product[A, B] - Cartesian product $\displaystyle A \times B$ with $\displaystyle n_A \cdot n_B$ elements (wiki)
• Sum[A, B] - Disjoint- or tagged union (the sum type in type theory) $\displaystyle A \sqcup B$ with $\displaystyle n_A + n_B$ elements

Development

Install the maturin import hook in the uv project:

uv run -m maturin_import_hook site install --detect-uv

Linting, formatting, typechecking, and testing:

uv run ruff check
uv run ruff format
uv run basedpyright
uv run pytest

More info

• Set (mathematics) - Wikipedia
• Algebra of sets - Wikipedia
• List of set identities and relations - Wikipedia