diff --git a/.VERSION b/.VERSION index 5ae69bd5f..15a279981 100644 --- a/.VERSION +++ b/.VERSION @@ -1 +1 @@ -3.2.5 +3.3.0 diff --git a/CHANGELOG.md b/CHANGELOG.md index db7fd918b..56b450216 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -3,6 +3,14 @@ Copyright © 2011-20 [James D. Mitchell][] et al. Licensing information can be found in the `LICENSE` file. +### Version 3.3.0 (released 28/04/2020) + +This is a minor release fixing some issues in the build system +[Chris Jefferson][], some improvements to the isomorphism capabilities of the +package [James D. Mitchell][], and the introduction of a rudimentary function +to compute the automorphism group of an arbitrary semigroup. From v3.3.0, the +Semigroups package requires the [images package][] version 1.3.0 or higher. + ### Version 3.2.5 (released 28/03/2020) This is a minor release to fixing some build issues for windows [Chris Jefferson][] @@ -1259,3 +1267,5 @@ added the functions `CitrusDefaultMem`, `CitrusHiMem`, [orb package]: https://gap-packages.github.io/orb [orb]: https://gap-packages.github.io/orb [Bitbucket issue tracker]: http://bitbucket.org/james-d-mitchell/semigroups/issues +[images package]: https://gap-packages.github.io/images + diff --git a/PackageInfo.g b/PackageInfo.g index 60de39248..4564bb243 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -9,13 +9,14 @@ ## ## <#GAPDoc Label="PKGVERSIONDATA"> -## +## ## ## ## ## ## -## +## +## ## ## <#/GAPDoc> @@ -47,8 +48,8 @@ _STANDREWS := Concatenation(["Mathematical Institute, ", SetPackageInfo(rec( PackageName := "Semigroups", Subtitle := "A package for semigroups and monoids", -Version := "3.2.5", -Date := "28/03/2020", # dd/mm/yyyy format +Version := "3.3.0", +Date := "28/04/2020", # dd/mm/yyyy format License := "GPL-3.0-or-later", ArchiveFormats := ".tar.gz", @@ -146,6 +147,16 @@ Persons := [ Place := "Kaiserslautern, Germany", Institution := "TU Kaiserslautern"), + rec( + LastName := "Jefferson", + FirstNames := "Christopher", + IsAuthor := false, + IsMaintainer := false, + Email := "caj21@st-andrews.ac.uk", + WWWHome := "http://caj.host.cs.st-andrews.ac.uk/", + Place := "St Andrews", + Institution := "University of St Andrews"), + rec( LastName := "Jonusas", FirstNames := "Julius", diff --git a/README.md b/README.md index 323573a36..faf23a0b5 100644 --- a/README.md +++ b/README.md @@ -43,6 +43,9 @@ Both [orb] and [Semigroups] perform better when [orb] is compiled, so compile * get the [genss](http://gap-packages.github.io/genss) package version 1.6.5 or higher +* get the [images](http://gap-packages.github.io/images) package version 1.3.0 or + higher + * download the package archive `semigroups-x.x.x.tar.gz` from the [Semigroups] webpage. diff --git a/VERSIONS b/VERSIONS index 89d7fac98..4f7ea11e2 100644 --- a/VERSIONS +++ b/VERSIONS @@ -9,6 +9,7 @@ ## ## +release 3.3.0 - 28/04/2020 release 3.2.5 - 28/03/2020 release 3.2.4 - 28/02/2020 release 3.2.3 - 07/02/2020 diff --git a/doc/isomorph.xml b/doc/isomorph.xml index 3e7986080..8af871c8f 100644 --- a/doc/isomorph.xml +++ b/doc/isomorph.xml @@ -52,7 +52,12 @@ gap> OnMultiplicationTable(table, p); OnMultiplicationTable(MultiplicationTable(S), p); equals CanonicalMultiplicationTable(S).

- See for more details. + See for more details.

+ + CanonicalMultiplicationTablePerm uses the machinery for canonical + labelling of vertex coloured digraphs in &bliss; via + .

S := Semigroup( @@ -135,7 +140,7 @@ gap> CanonicalMultiplicationTable(S); From Version 3.3.0 of &Semigroups; this attribute is computed using from the - Images. + the &images; package. See also: . @@ -170,7 +175,9 @@ gap> SmallestMultiplicationTable(S); then IsIsomorphicSemigroup(S, T) returns true, while if IsomorphismSemigroups(S, T) returns fail, then IsIsomorphicSemigroup(S, T) returns - false. Note that in some cases, at present, there is no + false.

+ + Note that in some cases, at present, there is no method for determining whether S is isomorphic to T, even if it is obvious to the user whether or not S and T are isomorphic. There are plans to improve this in the future.

diff --git a/doc/main.xml b/doc/main.xml index c2a803039..7eaba94c2 100644 --- a/doc/main.xml +++ b/doc/main.xml @@ -45,6 +45,9 @@ http://www.tcs.tkk.fi/Software/bliss/bliss"> + + https://gap-packages.github.io/images/ +images"> ]> diff --git a/doc/title.xml b/doc/title.xml index 315cb7d25..f9236f8ca 100644 --- a/doc/title.xml +++ b/doc/title.xml @@ -81,8 +81,11 @@ semigroups.

- Max Horn contributed many patches and fixes to the kernel module, in - particular. + Max Horn contributed many patches and fixes, in particular, to the kernel + module. +

+ + Chris Jefferson contributed several patches and fixes to the build system.

Julius Jonušas contributed the part of the package relating to free diff --git a/doc/z-chap02.xml b/doc/z-chap02.xml index 17cad4a83..3e28ca0fb 100644 --- a/doc/z-chap02.xml +++ b/doc/z-chap02.xml @@ -36,6 +36,11 @@ ensure that the &genss; package version &GENSSVERS; or higher is available. + + + ensure that the &images; package version &IMAGESVERS; or higher is + available. + download the package archive &ARCHIVENAME;.tar.gz from @@ -94,19 +99,18 @@ make]]> The &Semigroups; package is written in &GAP; and C++ and requires the - &Orb;, &IO;, &Digraphs; and &genss; packages. The &Orb; package is used to - efficiently compute components of actions, which underpin many of the - features of &Semigroups;. The &IO; package is used to read and write - elements of a semigroup to a file. The - &genss; package is used in a non-deterministic version of the operation and in - calculating the stabiliser of a Rees 0-matrix semigroup's matrix. - The &Digraphs; package is used in a variety of ways in the &Semigroups; + &Orb;, &IO;, &Digraphs;, &genss;, and &images; packages. The &Orb; + package is used to efficiently compute components of actions, which + underpin many of the features of &Semigroups;. The &IO; package is used + to read and write elements of a semigroup to a file. The &genss; package + is used in a non-deterministic version of the operation and in + calculating the stabiliser of a Rees 0-matrix semigroup's matrix. The + &Digraphs; package is used in a variety of ways in the &Semigroups; package, in particular, to apply standard graph theoretic algorithms to - certain data structures. + certain data structures, and in certain cases for finding isomorphisms or + automorphisms of digraphs.

-