Wednesday Meeting, 2017-12-06

Lecture Theatre D

Attending

• Ashley Clayton
• Fernando Flores Brito
• James Mitchell
• Chris Russell
• Finn Smith
• Wilf Wilson

Minutes

Participant	Activity
Fernando Flores Brito	Discussing vertex connectivity PR with James
James Mitchell
Chris Russell	Working on presentations of inverse semigroups
Finn Smith	Working on boolean matrix transposition/multiplication
Wilf Wilson	Fixing travis and increasing support for vertex coloured digraphs in Digraphs

The meeting started at around 14:00. Ashley arrived at around 17:20 to update us on the state of the his lattice code - IsModularLatticeDigraph has been implemented save for documentation, and he plans to move onto IsDistributiveLatticeDigraph.

Wilf left at around 17:30 and James followed soon after.