semigroups/Semigroups

Implement `IsSelfDualSemigroup`

james-d-mitchell opened this issue · 2 comments

james-d-mitchell commented

Could be done by trying to find an isomorphism from an isomorphic fp semigroup to the fp semigroup with all of the relations reversed.

james-d-mitchell commented

Resolved in #890

james-d-mitchell commented

Resolved in v5.2.0