README - step_hen - by James D. Mitchell and Maria Tsalakou
step_hen contains a rudimentary implementation of three algorithms of J. B. Stephen and Andrew Cutting for finitely presented monoids and inverse monoids in python3. These algorithms can be used to check equality of a fixed word with any other word in a finitely presented monoid, or inverse monoid, and to compute the structure of a finitely presented inverse monoid.
The implementation is rudimentary because it lacks many obvious optimisations and improvements, it is intended as a simple proof of concept.
The algorithms are described in the following:
J. B. Stephen, “Presentations of inverse monoids”, J. Pure Appl. Algebra, 63 (1990) 81–112; http://dx.doi.org/10.1016/0022-4049(90)90057-O
J. B. Stephen, “Applications of automata theory to presentations of monoids and inverse monoids”, The University of Nebraska - Lincoln (1987); https://digitalcommons.unl.edu/dissertations/AAI8803771
Andrew Cutting, “Todd-Coxeter methods for inverse monoids”, PhD thesis, University of St Andrews (2001) http://hdl.handle.net/10023/15052
Installation
You can install step_hen using pip:
pip install step_hen
1 maintainer
Metadata
1 maintainer
Release files for step-hen 0.0.3
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| step_hen-0.0.3.tar.gz | 20.0 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| step_hen-0.0.3-py2.py3-none-any.whl | Python 2, Python 3 | none | any | Details |
Total release size: 41.6 kB
Release files / step_hen-0.0.3.tar.gz
| Download URL | step_hen-0.0.3.tar.gz |
|---|---|
| Size | 20.0 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
174c1598dbcb3a2f6e3d7a66bf7a4a0da3dc1399ac0c051d7005799f6fc78254
|
|
BLAKE2b-256 checksum How to use checksums |
e214776a49516dfc4befa8833dda7e0292ff242945a665c0d97bcb6a9959c175
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.4.2 importlib_metadata/4.6.4 pkginfo/1.7.1 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.62.1 CPython/3.9.7
|
Release files / step_hen-0.0.3-py2.py3-none-any.whl
| Download URL | step_hen-0.0.3-py2.py3-none-any.whl |
|---|---|
| Size | 21.6 kB |
| Tags | Python 2 Python 3 |
|
SHA-256 checksum How to use checksums |
b7de610dd0ac1917a001ad20b88729e706779ee8b4cdbe5d4404b9f95421d1e5
|
|
BLAKE2b-256 checksum How to use checksums |
9110cd58f48f6930681b077b1bf98a25d7fa5ec5f0c78372eeda9eddacec661d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.4.2 importlib_metadata/4.6.4 pkginfo/1.7.1 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.62.1 CPython/3.9.7
|
