Write inverse method for `AsSemigroup` (for a function and a digraph)

Open ChristopherRussell opened this issue 7 years ago • 4 comments

This is a to-do. I should do this but I won't be doing it immediately so this issue can make me accountable in the future.

There should be an method AsDigraph which converts a semilattice semigroup to a digraph which is the inverse function to AsSemigroup. There should probably also be a method IsomorphismSemigroup which is a map from the vertices of a join semilattice digraph digraph to the output of AsSemigroup(digraph).

Sep 25 '18 15:09 ChristopherRussell

Yeah I thought about this too. It is a bit weird having a semigroup be isomorphic to a digraph, but I think it's fair enough.

Sep 25 '18 15:09 wilfwilson

Is this addressed by PR #161?

Mar 28 '19 14:03 james-d-mitchell

No, it's asking for the opposite method (semigroup -> digraph)

Mar 28 '19 16:03 flsmith

Aw...

Mar 28 '19 16:03 james-d-mitchell

Stale issue message

Jan 07 '22 01:01 github-actions[bot]