|
1 | 1 | <h1 align="center"> |
2 | | -<img src ="docs/pictures/libsemigroups_pbind11_banner.svg" width="75%"> |
| 2 | +<img src ="docs/pictures/libsemigroups_pybind11_banner.svg" width="75%"> |
3 | 3 | </h1> |
4 | 4 |
|
5 | 5 | [](https://zenodo.org/badge/latestdoi/299898305) |
|
10 | 10 | algorithms for computing finite and finitely presented semigroups. |
11 | 11 | Namely: |
12 | 12 |
|
13 | | -- the [Froidure-Pin algorithm](https://www.irif.fr/~jep/PDF/Rio.pdf) |
14 | | - for computing finite semigroups |
15 | | -- the [Todd-Coxeter |
16 | | - algorithm](https://en.wikipedia.org/wiki/Todd%E2%80%93Coxeter_algorithm) |
17 | | - for finitely presented semigroups and monoids; |
18 | | -- the [Knuth-Bendix |
19 | | - algorithm](https://en.wikipedia.org/wiki/Knuth%E2%80%93Bendix_completion_algorithm) |
20 | | - for finitely presented semigroups and monoids; |
21 | | -- the [Schreier-Sims |
22 | | - algorithm](https://en.wikipedia.org/wiki/Schreier%E2%80%93Sims_algorithm) |
23 | | - for permutation groups; |
24 | | -- a preliminary implementation of the |
25 | | - [Konieczny](https://link.springer.com/article/10.1007/BF02573672) |
26 | | - and |
27 | | - [Lallement-McFadden](https://www.sciencedirect.com/science/article/pii/S0747717108800570) |
28 | | - algorithm for computing finite semigroups which act on sets. |
| 13 | +- the [Froidure-Pin algorithm](https://www.irif.fr/~jep/PDF/Rio.pdf) |
| 14 | + for computing finite semigroups |
| 15 | +- the [Todd-Coxeter |
| 16 | + algorithm](https://en.wikipedia.org/wiki/Todd%E2%80%93Coxeter_algorithm) |
| 17 | + for finitely presented semigroups and monoids; |
| 18 | +- the [Knuth-Bendix |
| 19 | + algorithm](https://en.wikipedia.org/wiki/Knuth%E2%80%93Bendix_completion_algorithm) |
| 20 | + for finitely presented semigroups and monoids; |
| 21 | +- the [Schreier-Sims |
| 22 | + algorithm](https://en.wikipedia.org/wiki/Schreier%E2%80%93Sims_algorithm) |
| 23 | + for permutation groups; |
| 24 | +- a preliminary implementation of the |
| 25 | + [Konieczny](https://link.springer.com/article/10.1007/BF02573672) |
| 26 | + and |
| 27 | + [Lallement-McFadden](https://www.sciencedirect.com/science/article/pii/S0747717108800570) |
| 28 | + algorithm for computing finite semigroups which act on sets. |
29 | 29 |
|
30 | 30 | `libsemigroups_pybind11` is a python package exposing much (but not all) |
31 | 31 | of the functionality of `libsemigroups`. |
|
0 commit comments