Package for computing polymorphisms in universal algebra
Project description
pol-inv
The goal of this project is to allow one to use a Jupyter notebook (or a Python program) to investigate various properties of relational structures and algebras.
The package is very basic and probably full of bugs at the moment. There some similar packages are already available:
- Jakub Opršal's PCSP Tools from which I took a lot of inspiration
- Peter Jipsen's Sage package that uses Prover9 to reason about algebras
- Miklos Maroti's Critical Relations and Graph Polymorphism Java applets
- The Universal Algebra Calculator has a GUI and a Python API (but only handles algebras, not relational structures)
Currently pol-inv can compute:
- Whether there exists a polymorphism from a relational structure A to a relational structure B that satisfies a given height 1 identity (see https://doi.org/10.1145/3457606)
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file pol-inv-0.1.2.tar.gz.
File metadata
- Download URL: pol-inv-0.1.2.tar.gz
- Upload date:
- Size: 7.8 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.0 CPython/3.9.2
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
2a467fb0a360ed4fa31e5d536f3ef7bdc5e96f16209cc38e9acbb07065529589
|
|
| MD5 |
44de8bd8ff4f64d48b9f64d9737d9034
|
|
| BLAKE2b-256 |
1ebd7bf8e0234a8d008cedcba5db2918b07ef171a0292ae9f017384edfa67026
|
File details
Details for the file pol_inv-0.1.2-py3-none-any.whl.
File metadata
- Download URL: pol_inv-0.1.2-py3-none-any.whl
- Upload date:
- Size: 8.6 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.0 CPython/3.9.2
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
1b903ef2e1b9829af88492fb77da21e31dc4866abcf1a35bc5695adbddebef63
|
|
| MD5 |
5fa383652f711f2e934626b82687193c
|
|
| BLAKE2b-256 |
47e4fea1c424ab51381c219718ae51387c0f4615ba90eb484ebf8447a1382241
|
