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
2 maintainers
Metadata
2 maintainers
Release files for symset 0.0.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| symset-0.0.0.tar.gz | 19.5 kB | Details |
Release files / symset-0.0.0.tar.gz
| Download URL | symset-0.0.0.tar.gz |
|---|---|
| Size | 19.5 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
14d0a43f8c5346261e6e92b78603a4f2539e86d774bdfd40f92a7e90f0bfe31a
|
|
BLAKE2b-256 checksum How to use checksums |
b83804d4b77fa60e1e4aaf407d9ef67e82881edb32376aa1bb1c87ab63553771
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
uv/0.7.10
|
