Update version numbers etc for v3.3.0

.VERSION

@@ -1 +1 @@
-3.2.5
+3.3.0

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
+

PackageInfo.g

@@ -9,13 +9,14 @@
 ##
 
 ##  <#GAPDoc Label="PKGVERSIONDATA">
-##  <!ENTITY VERSION "3.2.5">
+##  <!ENTITY VERSION "3.3.0">
 ##  <!ENTITY GAPVERS "4.9.0">
 ##  <!ENTITY DIGRAPHSVERS "1.0.0">
 ##  <!ENTITY ORBVERS "4.8.2">
 ##  <!ENTITY IOVERS "4.5.1">
 ##  <!ENTITY GENSSVERS "1.6.5">
-##  <!ENTITY ARCHIVENAME "semigroups-3.2.5">
+##  <!ENTITY IMAGESVERS "1.3.0">
+##  <!ENTITY ARCHIVENAME "semigroups-3.3.0">
 ##  <!ENTITY COPYRIGHTYEARS "2011-20">
 ##  <#/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         := "[email protected]",
+    WWWHome       := "http://caj.host.cs.st-andrews.ac.uk/",
+    Place         := "St Andrews",
+    Institution   := "University of St Andrews"),
+
   rec(
     LastName      := "Jonusas",
     FirstNames    := "Julius",

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.
 

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

doc/isomorph.xml

@@ -52,7 +52,12 @@ gap> OnMultiplicationTable(table, p);
     <C>OnMultiplicationTable(MultiplicationTable(<A>S</A>), p);</C>
     equals <C>CanonicalMultiplicationTable(<A>S</A>)</C>. <P/>
 
-    See <Ref Attr="CanonicalMultiplicationTable"/> for more details.
+    See <Ref Attr="CanonicalMultiplicationTable"/> for more details.<P/>
+
+    <C>CanonicalMultiplicationTablePerm</C> uses the machinery for canonical
+      labelling of vertex coloured digraphs in &bliss; via 
+    <Ref Oper="BlissCanonicalLabelling" Label="for a digraph and a list"
+      BookName="digraphs"/>.<P/>
 
     <Example><![CDATA[
 gap> S := Semigroup(
@@ -135,7 +140,7 @@ gap> CanonicalMultiplicationTable(S);
 
       From Version 3.3.0 of &Semigroups; this attribute is computed using
         <Ref Func="MinimalImage" BookName = "images"/> from the
-        <Package>Images</Package>.
+        the &images; package.
 
       See also: <Ref Attr= "CanonicalMultiplicationTable"/>.
 
@@ -170,7 +175,9 @@ gap> SmallestMultiplicationTable(S);
       then <C>IsIsomorphicSemigroup(<A>S</A>, <A>T</A>)</C> returns <K>true</K>,
       while if <C>IsomorphismSemigroups(<A>S</A>, <A>T</A>)</C> returns
       <K>fail</K>, then <C>IsIsomorphicSemigroup(<A>S</A>, <A>T</A>)</C> returns
-      <K>false</K>. Note that in some cases, at present, there is no
+      <K>false</K>.<P/>
+
+        Note that in some cases, at present, there is no
       method for determining whether <A>S</A> is isomorphic to <A>T</A>, even
       if it is obvious to the user whether or not <A>S</A> and <A>T</A> are
       isomorphic. There are plans to improve this in the future. <P/>

doc/main.xml

@@ -45,6 +45,9 @@
      <!ENTITY bliss "<Alt Not='Text'><URL
    Text='bliss'>http://www.tcs.tkk.fi/Software/bliss/</URL></Alt><Alt
    Only='Text'><Package>bliss</Package></Alt>">
+     <!ENTITY images "<Alt Not='Text'><URL Text='images'>
+     https://gap-packages.github.io/images/
+</URL></Alt><Alt Only='Text'><Package>images</Package></Alt>">
    ]>
 
 <Book Name="semigroups">

doc/title.xml

@@ -81,8 +81,11 @@
     semigroups.
     <P/>
 
-    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.
+    <P/>
+
+    Chris Jefferson contributed several patches and fixes to the build system.
     <P/>
 
     Julius Jonu&#353;as contributed the part of the package relating to free

doc/z-chap02.xml

@@ -36,6 +36,11 @@
         ensure that the &genss; package version &GENSSVERS; or higher is
         available.
       </Item>
+
+      <Item>
+        ensure that the &images; package version &IMAGESVERS; or higher is
+        available.
+      </Item>
 
       <Item>
         download the package archive <F>&ARCHIVENAME;.tar.gz</F> from
@@ -94,19 +99,18 @@ make]]></Listing>
     <!--********************************************************************-->
 
     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 <Ref
-      Oper = "Normalizer" Label = "for a perm group, semigroup, record"/> 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 <Ref Oper =
+    "Normalizer" Label = "for a perm group, semigroup, record"/> 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.
     <P/>
-    <!-- TODO Update the sentednce about Digraphs, when it is used more widely
-         in Semigroups-->
   </Section>
 
   <!--**********************************************************************-->