Dima Pasechnik’s visit to Birmingham to collaborate with Sergey Shpectorov took place from 22/07/2015 to 24/07/2015. This is a quote from their report on this visit: “The focus of this collaboration is on the improvements to Sergey’s GAP package for computation of axial algebras. These are commutative non-associative algebras generated by idempotents satisfying certain fusion rules. The motivating example is the Griess-Norton algebra for the Monster sporadic simple group. The available programs for computations with axial algebras rely on the linear algebra functions available in GAP. This means that the program cannot handle partial algebras (intermediate stages) over the rationals whose dimension exceeds two-three thousand. At the same time, the algebras that we construct have significant groups of symmetries and, in particular, every partial algebra is a G-module for a certain group G. It is hoped that an efficient implementation of the basic module operations using the known character table of G will allow to increase the limit on the dimension by several orders. It is also hoped that, due to the fundamental nature of the module operations, the new routines will also find applications in many other places.”
“Two principal aims of my visit to St Andrews were to get familiar with package design and developing a parallel implementation of existing sequential code. Secondary objectives included discussing the upcoming software carpentry workshop and GAP days in Manchester in November, GAP’s built-in and user-contributed profiling features and creating new objects and methods for them.
We focused on the *philosophy* of the package design good-practice as is usually practiced in the GAP community, and Olexandr said this will appear shortly as a blog post on his website; I’ve volunteered to help develop a hands-on tutorial in creating a package using the “example” package as a template. As far as parallel computing goes, we studied the shared-memory model implemented in HPC-GAP and the distributed model that SCSCP package is built around, and implemented some of my code in both so I have now a working example in each.
My secondary objectives were all happily satisfied at least in part. The one thing that we didn’t cover fully was profiling, and Olexandr suggested that perhaps this was a sensible subject for a tutorial at the upcoming GAP days.”
The First Joint GAP-SageMath Days will be held at the University of St Andrews on January 18th-22nd, 2016. The focus of this event will be on improving GAP-SageMath integration and interaction between our systems. Further details will be posted soon!
We have just finalised the date and location for the First CoDiMa Training School in Computational Discrete Mathematics which will take place at the University of Manchester on November 16th-20th, 2015. This school is intended for PhD students and researchers from UK institutions. It will start with the 2-days hands-on Software Carpentry workshop covering basic concepts and tools, including working with the command line, version control and task automation, continued with introductions to GAP and SageMath systems, and followed by the series of lectures and exercise classes on a selection of topics in computational discrete mathematics. The school will finish at Friday lunchtime, with an option to stay for the NBSAN (North British Semigroups and Applications Network) meeting on Friday afternoon.