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

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

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

symset-0.0.0.tar.gz (19.5 kB view details)

Uploaded Jun 4, 2025 Source

Details for the file symset-0.0.0.tar.gz.

This release

0.0.0 This release

Jun 4, 2025 1 file