+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + + + Copyright (C) 2008-2011 Andreas Distler & James D. Mitchell + + + + 'Smallsemi' is free software: you can redistribute it and/or modify + + it under the terms of the GNU General Public License as published by + + the Free Software Foundation, either version 3 of the license, or + + (at your option) any later version. + + + + 'Smallsemi' is distributed in the hope that it will be useful, + + but WITHOUT ANY WARRANTY; without even the implied warranty of + + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + + GNU General Public License for more details. + + + + A copy of the GNU General Public License is available in the file + + 'GPLv3'; or for later versions see . + + + + You can find information on how to contact us at the end of the + + README file and on the front page of the documentation. + + + +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ This is the README ====== file for the GAP 4 ===== package 'Smallsemi'. =========== The 'Smallsemi' package is a data library of semigroups of small size. It provides all semigroups with at most 8 elements as well as various information about these objects. The reason that semigroups of higher orders are not included is the huge number of such objects. The numbers of semigroups of sizes 1 to 9 are given in the table below. The number of semigroups of size 10 is not known at the time of writing. size | number of semigroups ----------------------------- 1 | 1 2 | 4 3 | 18 4 | 126 5 | 1 160 6 | 15 973 7 | 836 021 8 | 1 843 120 128 9 | 52 989 400 714 478 -------------- Requirements -------------- This software is written for GAP 4. It requires an existing installation of GAP (see www.gap-system.org) in version 4.5 or higher. ***operating system*** The current version of 'Smallsemi' was created for use under Unix. It will also work under Windows but only if all files in the directory 'smallsemi/data' and all of its subdirectories are uncompressed. ***RAM*** Working with 'Smallsemi' can be memory expensive. We recommend to have at least 1 GB of RAM available. With less than 512 MB not all the semigroups of size 8 can be accessed. ***disk space*** As the data in the library is compressed, 30 MB of disk space will be sufficient to install 'Smallsemi' under Unix. To use the library under Windows the data has to be uncompressed and will then occupy approx. 1.6 GB. -------------- Installation -------------- The installation follows standard GAP rules as outlined in the following steps; see Section 74.1 in the reference manual of GAP for further details: 1) Download one of the archives 'smallsemi0r6p4.tar.gz' or 'smallsemi0r6p4.tar.bz2' from http://www-history.mcs.st-and.ac.uk/~jamesm/smallsemi/index.html 2) Move the archive inside a 'pkg' directory. This can be either the main 'pkg' directory in your GAP installation or your personal 'pkg' directory. 3) Complete the installation by unpacking the archive, e.g. under Linux type tar -xzf smallsemi0r6p4.tar.gz at the prompt for the gzipped tar-archive. A subdirectory 'smallsemi' will be created inside the 'pkg' directory. ---------- Contents ---------- After installation the folder 'smallsemi' should contain the subdirectories data, doc, gap, and tst and the files CHANGELOG, GPLv3, init.g, PackageInfo.g, read.g and README.txt --------- Loading --------- To use the package type 'LoadPackage("smallsemi");' at the GAP prompt. gap> LoadPackage("smallsemi"); ----------------------------------------------------------------------------- Smallsemi - A library of small semigroups by Andreas Distler & James Mitchell For contents, type: ?Smallsemi: Loading Smallsemi 0.6.4 ... ----------------------------------------------------------------------------- true gap> --------- Testing --------- You can verify the success of the installation by running the test file: gap> ReadPackage( "smallsemi", "tst/testall.g" ); + small.tst 0.6.4 + GAP4stones: 2 + properties.tst 0.6.4 + GAP4stones: 3 + enums.tst 0.6.4 + GAP4stones: 0 true gap> --------- Contact --------- If you use 'Smallsemi', please tell us by sending an email to or . If you find any bugs or have any suggestions or comments, we would very much appreciate it if you would let us know. Also, we would like to hear about applications of this software. Andreas Distler and James Mitchell, St Andrews, 13th of September 2011. Andreas Distler CAUL Av. Prof. Gama Pinto, 2 1649-003 Lisboa Portugal James Mitchell Mathematical Institute North Haugh St Andrews, Fife KY16 9SS Scotland, UK