Skip to content

Commit e75b3ff

Browse files
Update Fpsemi examples for v1/v3 (#214)
* Add fpsemigroup bindings * Add fpsemi-examples to the doc * Fix some warnings * Update src * Update bib * Re-add examples after libsemigroups merge * Rename fpsemi -> presentations * Update codespell * Make examples a sub-module of presentation * Add tests * Add section descriptions to doc * Fix linting * Fix typo
1 parent 5ba3a6c commit e75b3ff

File tree

12 files changed

+2642
-797
lines changed

12 files changed

+2642
-797
lines changed

.codespellrc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
[codespell]
22
skip = ./.git,./docs/_build/*,./gh-pages
3-
ignore-words-list=nd,alph,falsy,toword,noe
3+
ignore-words-list=nd,alph,falsy,toword,noe,groupe,theses

docs/source/data-structures/presentations/examples.rst

Lines changed: 123 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,129 @@
44
55
The full license is in the file LICENSE, distributed with this software.
66
7+
.. currentmodule:: libsemigroups_pybind11
8+
79
Presentations for standard examples
810
===================================
911

10-
TODO
12+
This page contains the documentation for various examples of presentations for
13+
finitely presented semigroups and monoids.
14+
15+
.. currentmodule:: libsemigroups_pybind11.presentation.examples
16+
17+
.. _default-presentations:
18+
19+
Default presentations
20+
---------------------
21+
22+
For some semigroups and monoids presented on this page, there are
23+
multiple presentations. The section below defines some default
24+
functions; functions that should be used when the particular relations
25+
aren't important, only the semigroup or monoid they define.
26+
27+
.. autosummary::
28+
:nosignatures:
29+
30+
alternating_group
31+
brauer_monoid
32+
chinese_monoid
33+
cyclic_inverse_monoid
34+
dual_symmetric_inverse_monoid
35+
fibonacci_semigroup
36+
full_transformation_monoid
37+
hypo_plactic_monoid
38+
monogenic_semigroup
39+
motzkin_monoid
40+
not_renner_type_B_monoid
41+
not_renner_type_D_monoid
42+
not_symmetric_group
43+
order_preserving_cyclic_inverse_monoid
44+
order_preserving_monoid
45+
orientation_preserving_monoid
46+
orientation_preserving_reversing_monoid
47+
partial_brauer_monoid
48+
partial_isometries_cycle_graph_monoid
49+
partial_transformation_monoid
50+
partition_monoid
51+
plactic_monoid
52+
rectangular_band
53+
renner_type_B_monoid
54+
renner_type_D_monoid
55+
sigma_plactic_monoid
56+
singular_brauer_monoid
57+
special_linear_group_2
58+
stellar_monoid
59+
stylic_monoid
60+
symmetric_group
61+
symmetric_inverse_monoid
62+
temperley_lieb_monoid
63+
uniform_block_bijection_monoid
64+
zero_rook_monoid
65+
66+
67+
Specific presentations
68+
----------------------
69+
70+
The functions documented below provide specific presentations for
71+
various semigroups and monoids, usually accompanied by a reference to
72+
the source of the presentation. There may be several presentations
73+
for any semigroup or monoid.
74+
75+
For each semigroup or monoid, there is a corresponding default
76+
function that is documented in the :ref:`default-presentations` section.
77+
78+
.. autosummary::
79+
:nosignatures:
80+
81+
alternating_group_Moo97
82+
brauer_monoid_KM07
83+
chinese_monoid_CEKNH01
84+
cyclic_inverse_monoid_Fer22_a
85+
cyclic_inverse_monoid_Fer22_b
86+
dual_symmetric_inverse_monoid_EEF07
87+
fibonacci_semigroup_CRRT94
88+
full_transformation_monoid_Aiz58
89+
full_transformation_monoid_II74
90+
full_transformation_monoid_MW24_a
91+
full_transformation_monoid_MW24_b
92+
hypo_plactic_monoid_Nov00
93+
motzkin_monoid_PHL13
94+
not_renner_type_B_monoid_Gay18
95+
not_renner_type_D_monoid_God09
96+
not_symmetric_group_GKKL08
97+
order_preserving_cyclic_inverse_monoid_Fer22
98+
order_preserving_monoid_AR00
99+
orientation_preserving_monoid_AR00
100+
orientation_preserving_reversing_monoid_AR00
101+
partial_brauer_monoid_KM07
102+
partial_isometries_cycle_graph_monoid_FP22
103+
partial_transformation_monoid_MW24
104+
partial_transformation_monoid_Shu60
105+
partition_monoid_Eas11
106+
partition_monoid_HR05
107+
plactic_monoid_Knu70
108+
rectangular_band_ACOR00
109+
renner_type_B_monoid_Gay18
110+
renner_type_D_monoid_Gay18
111+
sigma_plactic_monoid_AHMNT24
112+
singular_brauer_monoid_MM07
113+
special_linear_group_2_CR80
114+
stellar_monoid_GH19
115+
stylic_monoid_AR22
116+
symmetric_group_Bur12
117+
symmetric_group_Car56
118+
symmetric_group_Moo97_a
119+
symmetric_group_Moo97_b
120+
symmetric_inverse_monoid_Gay18
121+
symmetric_inverse_monoid_MW24
122+
symmetric_inverse_monoid_Shu60
123+
temperley_lieb_monoid_Eas21
124+
uniform_block_bijection_monoid_Fit03
125+
zero_rook_monoid_Gay18
126+
127+
Full API
128+
--------
129+
130+
.. automodule:: libsemigroups_pybind11.presentation.examples
131+
:members:
132+
:imported-members:

docs/source/libsemigroups.bib

Lines changed: 117 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -105,7 +105,7 @@ @article{Aizenstat1962aa
105105
year = 1962}
106106

107107
@article{Arthur2000aa,
108-
author = {Arthur, Robert E. and Ru{\v s}kuc, N.},
108+
author = {Arthur, Robert E. and Ruskuc, N.},
109109
doi = {10.1007/s10012-000-0001-1},
110110
journal = {Southeast Asian Bulletin of Mathematics},
111111
number = 1,
@@ -135,7 +135,7 @@ @book{Burnside2012aa
135135
bdsk-url-1 = {https://doi.org/10.1017/cbo9781139237253.023}}
136136

137137
@article{Campbell1994aa,
138-
author = {Colin M. Campbell and Edmund F. Robertson and Nikola Ru{\v s}kuc and Richard M. Thomas},
138+
author = {Colin M. Campbell and Edmund F. Robertson and Nikola Ruskuc and Richard M. Thomas},
139139
doi = {10.1016/0022-4049(94)90005-1},
140140
journal = {Journal of Pure and Applied Algebra},
141141
number = 1,
@@ -516,9 +516,123 @@ @inproceedings{Radoszewski2010aa
516516
bdsk-url-1 = {https://doi.org/10.1007/978-3-642-11266-9_55}}
517517

518518
@phdthesis{Ruskuc1995aa,
519-
author = {Ru{\v s}kuc, Nikola},
519+
author = {Ruskuc, Nikola},
520520
school = {University of St Andrews},
521521
title = {Semigroup presentations},
522522
url = {https://research-repository.st-andrews.ac.uk/handle/10023/2821},
523523
year = 1995,
524524
bdsk-url-1 = {https://research-repository.st-andrews.ac.uk/handle/10023/2821}}
525+
526+
@article{Halverson2005aa,
527+
author = {Halverson, Tom and Ram, Arun},
528+
doi = {10.1016/j.ejc.2004.06.005},
529+
journal = {European Journal of Combinatorics},
530+
pages = {869–921},
531+
title = {Partition algebras},
532+
volume = {26},
533+
year = {2005}
534+
}
535+
536+
@misc{Posner2013aa,
537+
arxiv = {1301.4518},
538+
archivePrefix={arXiv},
539+
author = {Posner, Eliezer and Hatch, Kris and Ly, Megan},
540+
month = {01},
541+
title = {Presentation of the Motzkin Monoid},
542+
year = {2013},
543+
url = {https://arxiv.org/abs/1301.4518}
544+
}
545+
546+
@book{Carmichael1956aa,
547+
author = {Carmichael, Robert D.},
548+
title = {Introduction To The Theory Of Groups Of Finite Order},
549+
year = {1956},
550+
publisher = {Dover Publications},
551+
location = {New York}
552+
}
553+
554+
@article{Iwahori1974aa,
555+
title = {On a set of generating relations of the full transformation semigroups},
556+
journal = {Journal of Combinatorial Theory, Series A},
557+
volume = {16},
558+
number = {2},
559+
pages = {147-158},
560+
year = {1974},
561+
issn = {0097-3165},
562+
doi = {https://doi.org/10.1016/0097-3165(74)90040-5},
563+
url = {https://www.sciencedirect.com/science/article/pii/0097316574900405},
564+
author = {Nagayoshi Iwahori and Nobuko Iwahori},
565+
abstract = {A set of generating relations of the full transformation semigroup Σn consisting of all mappings of the set Ω = {1, …, n} into itself with respect to a natural system of generators {γji, σji} (defined in Section 1) is given. The set of relations (1)∼(15) given in Section 1 turns out to be a set of generating relations.}
566+
}
567+
568+
@misc{Mitchell2024aa,
569+
arxiv = {2406.19294},
570+
author = {Mitchell, James D. and Whyte, Murray T.},
571+
archivePrefix={arXiv},
572+
month = {06},
573+
title = {Short presentations for transformation monoids},
574+
url = {https://arxiv.org/abs/2406.19294},
575+
year = {2024}
576+
}
577+
578+
@article{Shutov1960aa,
579+
author = {Shutov, {\'E}. G.},
580+
title = {Defining relations in finite semigroups of partial transformations},
581+
fjournal = {Soviet Mathematics. Doklady},
582+
journal = {Sov. Math., Dokl.},
583+
issn = {0197-6788},
584+
volume = {1},
585+
pages = {784--786},
586+
year = {1960},
587+
language = {English},
588+
zbmath = {3165573},
589+
zbl = {0101.25901}
590+
}
591+
592+
@phdthesis{Gay2018aa,
593+
title = {{Representation of Monoids and Lattice Structures in the Combinatorics of Weyl Groups}},
594+
author = {Gay, Jo{\"e}l},
595+
url = {https://theses.hal.science/tel-01861199},
596+
number = {2018SACLS209},
597+
school = {{Universit{\'e} Paris Saclay (COmUE)}},
598+
year = {2018},
599+
month = Jun,
600+
keywords = {Theoretical computer science ; Algebraic and geometric combinatorics ; Algorithm ; Representation of groups and monoids ; Combinatorics of permutations; trees and tableaux ; Polytope theory ; Informatique fondamentale ; Combinatoire alg{\'e}brique et g{\'e}om{\'e}trique ; Algorithmique ; Repr{\'e}sentations de groupe et des mono{\"i}des ; Combinatoire des permutations; des arbres et des tableaux ; Th{\'e}orie des polytopes},
601+
type = {Theses},
602+
pdf = {https://theses.hal.science/tel-01861199v1/file/76316_GAY_2018_archivage.pdf},
603+
hal_id = {tel-01861199},
604+
hal_version = {v1}
605+
}
606+
607+
@article{Campbell1980aa,
608+
author = {Campbell, C. M. and Robertson, E. F.},
609+
doi = {10.1112/blms/12.1.17},
610+
journal = {Bulletin of the London Mathematical Society},
611+
pages = {17–20},
612+
publisher = {Wiley},
613+
title = {A Deficiency Zero Presentation for SL(2, p)},
614+
volume = {12},
615+
year = {1980}
616+
}
617+
618+
@article{Novelli2000aa,
619+
title = {On the hypoplactic monoid},
620+
journal = {Discrete Mathematics},
621+
volume = {217},
622+
number = {1},
623+
pages = {315-336},
624+
year = {2000},
625+
issn = {0012-365X},
626+
doi = {https://doi.org/10.1016/S0012-365X(99)00270-8},
627+
url = {https://www.sciencedirect.com/science/article/pii/S0012365X99002708},
628+
author = {Jean-Christophe Novelli}
629+
}
630+
631+
@misc{Abram2024aa,
632+
arxiv = {2406.16387},
633+
author = {Abram, Antoine and Hivert, Florent and Mitchell, James D. and Novelli, Jean-Christophe and Tsalakou, Maria},
634+
doi = {10.4204/EPTCS.403.7},
635+
month = {06},
636+
title = {Power Quotients of Plactic-like Monoids},
637+
year = {2024}
638+
}

libsemigroups_pybind11/fpsemigroup.py

Lines changed: 0 additions & 40 deletions
This file was deleted.

0 commit comments

Comments
 (0)