A new GAP system has been developed for computing with finite groups. The system is already in use by mathematicians interested in using a highly flexible theory programming language. A collection of tools and algorithms have been developed for working with a variety of groups.
This project aims to continue the skills of the computational group theory teams in St Andrews, Galway and Aachen. It will produce a computer system written in C which calculate with words in groups and, in particular, handle the calculus of basic commutators.
Funding SchemeCSC - Cost-sharing contracts