James Mitchell

Implement Popova presentation for symmetric inverse monoid

1

There is a presentation for the symmetric inverse semigroup described [here](https://core.ac.uk/download/pdf/82378951.pdf), which extends the Moore presentation for the symmetric group. The original (Russian) source is item [28] of the linked...

Enhancements for the Konieczny class

1

The following is a list of things that could be done, but haven't been done just yet, which would enhance the Konieczny class: - [ ] implement `Lambda/Rho` for pointer...

Add non-examples of presentations

1

Candidates include: - The Godelle presentations for Renner monoids - The presentation for the symmetric group with author value `author::Guralnick + author::Kantor + author::Kassabov + author::Lubotzky`

From [Presentation of the Motzkin monoid](https://arxiv.org/abs/1301.4518) by [Eliezer Posner](https://arxiv.org/search/math?searchtype=author&query=Posner%2C+E), [Kris Hatch](https://arxiv.org/search/math?searchtype=author&query=Hatch%2C+K), [Megan Ly](https://arxiv.org/search/math?searchtype=author&query=Ly%2C+M)

Implement presentations for twisted Brauer monoids

1

It'd be good to implement the presentation for the twisted Brauer monoid in: [Identities in twisted Brauer monoids](https://arxiv.org/abs/2208.00484) by [N. V. Kitov](https://arxiv.org/search/math?searchtype=author&query=Kitov%2C+N+V), [M. V. Volkov](https://arxiv.org/search/math?searchtype=author&query=Volkov%2C+M+V)

Implement presentations for the double Catalan monoids

1

Another presentation to implement is the one in: [Double Catalan monoids](https://arxiv.org/abs/1105.5313) by [Volodymyr Mazorchuk](https://arxiv.org/search/math?searchtype=author&query=Mazorchuk%2C+V), [Benjamin Steinberg](https://arxiv.org/search/math?searchtype=author&query=Steinberg%2C+B)

The latter is to indicate which of the criteria that shows that the finitely presented semigroup/monoid applies and proves that the defined semigroups/monoid is infinite.

Implement the presentation in [The shifted plactic monoid](https://arxiv.org/abs/0811.2057) by [Luis Serrano](https://arxiv.org/search/math?searchtype=author&query=Serrano%2C+L)

The function `matrix_helper::pow` actually only works for matrices with compile time arithmetic.