libsemigroups
libsemigroups copied to clipboard
Implement Popova presentation for symmetric inverse monoid
There is a presentation for the symmetric inverse semigroup described here, which extends the Moore presentation for the symmetric group. The original (Russian) source is item [28] of the linked paper's bibliography.
This was really done by @MTWhyte not sure why I'm listed as opening this...