Skip to content

Wednesday Meeting, 2016 10 05

Jump to bottom
Michael Torpey edited this page Oct 10, 2016 · 1 revision

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.

Clone this wiki locally