Wednesday Meeting, 2016-10-05

Lecture Theatre D

Attending

• Chris Russell
• Finn Smith
• Luke Elliott
• Markus Pfeiffer
• Michael Torpey
• Wilf Wilson

Minutes

We had a brief discussion about what we're all doing.

We discussed IsTree in Digraphs. The definitions we settled on are as follows:

• IsTree should ignore direction of edges
• IsDirectedTree should be a digraph in which each vertex has at most one in-edge and precisely one vertex has no in-edges.

Markus arrived and we discussed his pull request adding edge labels to Digraphs.

We worked on our individual tasks:

• Chris Russell -- Implementing E-Unitary Inverse Semigroups
• Finn Smith -- Merging code, fixing bugs
• Luke Elliott -- IsDirectedTree function for Digraphs
• Michael Torpey -- Congruence lattices of partition monoids and helping Luke
• Wilf Wilson -- Reviewing Markus's PR

The meeting ended just after 17:00.