James Mitchell

Implement isomorphism from arbitrary band to a semilattice of rectangular bands

2

As described in Howie's book Chapter 4.

Transf hpp

1

Completes the review of `transf.hpp` for v3.

Install libtool using homebrew in macosx job

By the way, I ran `make check` on libsemigroup on the OpenBSD box, and got a bad::alloc error in one test: ``` ... FpSemigroup 041: equal_to . . . 2205μs...

Add `presentation::add_commutes_rule`

1

I.e. ~~~ presentation::add_commutes_rule(p, "ababbaba", "bbb") // adds ababbababbb = bbbababbaba ~~~ Possibly also `presentation::add_commutator_rule` but at the moment I'm struggling to figure out what the arguments to this would be...

For version 3 we should remove: * `--enable-verbose` * `--enable-stats` * `--enable-format` (we'll always require `fmtlib`)

Implement a presentation for the Catalan monoid

1

See: https://link.springer.com/content/pdf/10.1007/BF02574150.pdf?pdf=button

The title says it all, it'd be good to add the random version of Schreier-Sims.