Wednesday Meeting, 2026 03 25 - semigroups/Semigroups GitHub Wiki
Wednesday Meeting, 2026-03-18
Lecture Theatre D
Attending
- Reinis Cirpons
- Joe Edwards
- Frankie Gillis
- Gabby Glass
- Josh James-Lee
- Jess Levine
- James Mitchell
- Rheya Monerasinghe
- Jake Swent
- Anuj Thakur
- Joe Ward
- Michael Young
Minutes
| Participant | Activity |
|---|---|
| Reinis Cirpons | Working on some proofs for inverse monoid formalisation relating to Thompson's Ubiqutious Monoid V, and chatting to people |
| Joe Edwards | Talking to James about (lib)semigroups, and working on a Cygwin issue :( |
| Frankie Gillis | Looking into DigraphsUpToIsomorphism issue |
| Gabby Glass | Starting to test algorithm for strong vertex connectivity |
| Josh James-Lee | Going through the TODOs in the Matrix implementation of libsemigroups |
| Jess Levine | Working on probability model for Bayesian network for back propagation, and hopefully adding some tests |
| James Mitchell | Finishing off PRs for libsemigroups and semigroups, and making some releases |
| Rheya Monerasinghe | Finishing implementing DigraphColourRefinement, and deciding on the best way to output info to help with isomorphism testing |
| Jake Swent | Fixing WordGraph functionality for Julia bindings, and chatting to James |
| Anuj Thakur | Finalising tests for unfaithful encoding and decoding issue, and finishing off tests for testing if a graph is a MapGraph |
| Joe Ward | Working on Graph Inverse Semigroups presentation |
| Michael Young | Talking to Gabby and Jess, before leaving at around 14:30 |
The meeting began at 14:00 and ended slightly early, around 16:00. Some attendees joined virtually via Teams.