3.1.3
This is a minor release of the Semigroups package, including some improvements to SmallestIdempotentPower
and RepresentativeOfMinimalIdeal
by Wilf A. Wilson and some other minor modifications. Semigroups now requires version 4.8.2 of the orb package, or newer.