HPC-GAP: High Performance Computational Algebra and Discrete Mathematics
Lead Research Organisation:
University of St Andrews
Department Name: Computer Science
Abstract
This project will reengineer existing, and widely used software for computation in algebra and discrete mathematics to take advantage of the power of current and future high-performance computers. Our main focus is on the GAP system and the more recent SymGridPar middleware, which provide flexible and effective computation on single processors and small clusters. We will adapt the software to efficiently use large clusters of multi-core processors to perform larger computations. To demonstrate the effectiveness of our adaptations we will apply our new software to problems from a number of important areas of pure mathematics.
Organisations
Publications
Behrends R
(2016)
HPC-GAP: engineering a 21st-century high-performance computer algebra system
in Concurrency and Computation: Practice and Experience
Behrends R
(2010)
Parallelising the computational algebra system GAP
Behrends R
(2010)
Mathematical Software - ICMS 2010
BERTHOLD J
(2016)
PAEAN: Portable and scalable runtime support for parallel Haskell dialects
in Journal of Functional Programming
Bozó I
(2014)
Discovering parallel pattern candidates in Erlang
Chechina N
(2016)
A scalable reliable instant messenger using the SD Erlang libraries
Chechina N
(2016)
Improving the network scalability of Erlang
in Journal of Parallel and Distributed Computing
Gent I.
(2015)
S-crucial and bicrucial permutations with respect to squares
in Journal of Integer Sequences
| Description | This was a project about developing research software. We have developed new versions of the GAP system and related tools which are now being beta-tested and prepared for wider release. They supports parallelism on a range of systems. A variety of other approaches were explored along the way. |
| Exploitation Route | We have learnt many lessons about how to parallelise legacy software of this kind. This is being exploited now, for example, but the Singular group in Kaiserslautern. |
| Sectors | Digital/Communication/Information Technologies (including Software) |
| Description | Collaborative Computational Project |
| Amount | £293,386 (GBP) |
| Funding ID | EP/M022641/1 |
| Organisation | Engineering and Physical Sciences Research Council (EPSRC) |
| Sector | Public |
| Country | United Kingdom |
| Start | 03/2015 |
| End | 02/2020 |
| Description | Impact Acceleration Account |
| Amount | £24,774 (GBP) |
| Organisation | University of St Andrews |
| Sector | Academic/University |
| Country | United Kingdom |
| Start | 03/2014 |
| End | 08/2015 |
| Description | RIA - Research and Innovation action |
| Amount | € 902,271 (EUR) |
| Funding ID | 676541 |
| Organisation | European Commission |
| Department | Horizon 2020 |
| Sector | Public |
| Country | European Union (EU) |
| Start | 09/2015 |
| End | 08/2019 |
| Title | Hpc-Gap: Engineering A 21St-Century High-Performance Computer Algebra System |
| Description | Data for the experiments conducted in the paper |
| Type Of Material | Database/Collection of data |
| Year Produced | 2015 |
| Provided To Others? | Yes |