All centralising monoids on the set {0, 1, 2}, including their witnesses

<p>This dataset contains code and data to produce a list of all 192 centralising monoids on the set&nbsp;<span>\(\{0,1,2\}\)</span>, including a witness for each of them. This gives a computational verification of the classification of centralising monoids published by Machida and Rosenberg in <a href="https://doi.org/10.1109/ISMVL.2012.50">2012</a> and <a href="https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1846-07.pdf">2013</a>. Furthermore, some of the cpp-files and the context files form supplements to the <a href="https://doi.org/10.5281/zenodo.7653085">bachelor dissertation</a> of the second-named author. The code and the computed data contained in this upload also supplement the <a href="https://dx.doi.org/10.1007/978-3-031-35949-1_8">conference article</a> that appeared in <a href="http://www.kde.cs.uni-kassel.de/icfca2023">ICFCA 2023</a>.</p> <p>A detailed description of the files in the dataset can be obtained from the file&nbsp;cent_mons3_witn.pdf (the code source for this file is given in cent_mons3_witn.tex).</p>