-
Notifications
You must be signed in to change notification settings - Fork 36
Wednesday Meeting, 2017 05 03
- Olexandr Konovalov
- Fernando Flores Brito
- Michael Torpey
- Wilf Wilson
The meeting started at 14:05. Michael appeared at 14:28 after an encounter with the police. Olexandr stopped by for a few minutes before 15:00 - he will have more time for GAP in the coming weeks.
Fernando has to report that yesterday was a very productive day because he
managed to write a function RemoveStatesWithIncompleteResponse, which is for
the package that he is working on with Collin. He used that function to verify
that a product of two particular transducers was indeed the identity transducer
(as expected), which further increases the trust he has in the inversion
algorithm that he managed to finish last week.
With respect to the Semigroups package, Fernando has managed to write a function to calculate the wreath product of a permutation group and a transformation monoid whose action has no fixed points.
Today Fernando will be investigating the congruences of the wreath product.
Wilf has updated the Travis tests for the Semigroups package in accordance with what was discussed last week. In particular, there are now four different suites that run with each Travis instance:
- Linting
- Code coverage
- Tests, saved workspace tests, manual examples with GAP in 64-bit
- Tests, saved workspace tests, manual examples with GAP in 32-bit
The tests are run with the oldest required version of each package dependency, with the exception of Digraphs. The tests are run twice: once with Digraphs from the master branch, and once with the required version of Digraphs.
Wilf will be writing these minutes and then doing other pressing work.
Michael has been reading through the paper that he is working on with James, James, and Nik. Michael is now going to re-do his "pair in a congruence" setup in Semigroups. Michael's PR to libsemigroups has been merged this morning, which updates the Travis tests. 5 out of 6 suites are passing, but he still needs to work out the problems with the Valgrind suite. Michael has also bought a new TV.
The meeting ended at some point after these minutes were written.