5.1.0

The following major new features have been added in this version:

• extensive support for translations by @flsmith in #720. See Chapter 18 of the manual for details.
• support for Sims1 in libsemigroups by @james-d-mitchell in #873. This manifests in the new functions:
  • IteratorOfRightCongruences, IteratorOfLeftCongruences
  • NumberOfRightCongruences, NumberOfLeftCongruences
  • SmalerDegreeTransformationRepresentation

The following bugs were resolved:

• IsDualSemigroupRep is no longer a representation by @flsmith in #863
• fix an issue in SemigroupIsomorphismByImages by @james-d-mitchell in #866
• set IsInjective flag before calling SetNiceMonomorphism by @ThomasBreuer in #870
• Fix issue 869 (the multiplication table of fp semigroups/monoids was sometimes incorrect) by @james-d-mitchell in #871
• Resolve Issue #868 (there was recursion depth trap error when trying to create an fp monoid from a small semigroup)by @james-d-mitchell in #872
• semifp: add missing methods for fp monoids/semigroups by @james-d-mitchell in #874
• Fix the README to use the correct version of GAP that's required by @james-d-mitchell #876
• Replace gap implementation of EqualInFreeBand with C++ implementation from libsemigroups by @reiniscirpons in #877
• Remove an obsolete comment by @fingolfin in #878
• Fix extreme tests by @james-d-mitchell in #880

New Contributors

• @ThomasBreuer made their first contribution in #870
• @reiniscirpons made their first contribution in #877