Motivation: understand topological relation between green's relations and the submagma lattice; latter is more informative, are they distributive lattices? Is the latter a strictly finer description?
We want a general algorithm for generating generator forests $b\Rightarrow a \iff b\in\langle a \rangle$ Right now we have multiple functions that do similar things.
Want:
An algorithm that works wether x is an endo or an element
A possible attack plan
Next Action:
Probably all we need to do to start is document how to use monoids.cyclic_endomonoid and monoids._orbit better... should be obvious once I figure out what I was trying to do there.
Motivation: understand topological relation between green's relations and the submagma lattice; latter is more informative, are they distributive lattices? Is the latter a strictly finer description?
We want a general algorithm for generating generator forests$b\Rightarrow a \iff b\in\langle a \rangle$ Right now we have multiple functions that do similar things.
Want:
An algorithm that works wether x is an endo or an element
A possible attack plan
Next Action:
Probably all we need to do to start is document how to use
monoids.cyclic_endomonoidandmonoids._orbitbetter... should be obvious once I figure out what I was trying to do there.