great article i still think it's tough to find specific examples where symmetries help is in programming. semigroups represent the composition of code, and gro

great article i still think it's tough to find specific examples where symmetries help is in programming. semigroups represent the composition of code, and groups are just semigroups with an "undo" operation. e.g http://mmisamore.github.io/2014/09/17/Monogenic-Semigroups/ http://mmisamore.github.io/2014/09/17/Monogenic-Semigroups/ has anyone looked on github and drawn the diagrams to show their library is a group or semigroup?