Home
- GPI-Space is a workflow management system, created and successfully applied to problems in high performance numerical simulation by the Competence Center High Performance Computing of Fraunhofer ITWM. We combine Singular and further computeralgebra systems, primarily OSCAR, with GPI-Space to create a way of performing massively parallel computations in computer algebra.
- Our approach is based on the idea of separating computation and coordination. While e.g. Singular is used as the computational backend, the coordination is done by GPI-Space.
- GPI-Space uses the language of Petri nets to model algorithms in the coordination layer.
- The CAS-GPI-Space framework can be used on anything ranging from a personal computer and compute servers to ultrascale machines. In applications, it scales efficiently up to thousands of cores on HPC clusters.
- Applications arise, so far, from algebraic geometry (certifying smoothness, resolution of singularities), tropical geometry (computing of tropicalizations with finite symmetries), geometric invariant theory (computing GIT-fans with finite symmetries), high energy physics (computing integration-by-parts identities for Feynman integrals), and condensed matter physics.
- While relying on GPI-Space allows us to apply state-of-the-art parallelization infrastructure in conjunction with Singular, our close collaboration has, in turn, also lead to introducing new programming constructs to GPI-Space, and to developing an open source version of GPI-Space.
- An Open Source Version of GPI-Space has been released by ITWM in Sept. 2020 (this version is actively being tested on CentOS Linux (Versions 6, 7, 8) and Ubuntu (Versions 18.04 LTS, 20.04 LTS), but various other distributions will work as well). A first end user version of the Singular/GPI-Space Framework has been released in Dec. 2020, see Download. We will gradually add more of our code to this version, and of course develop new features.
- Since Aug 2022, installation of most of our code, including Singular and GPI-Space, is based on the super computing package manager Spack, which allows for easy installation. See our repository of new Spack packages. Packages usually move at some point to the official repository of Spack packages. You do not have to take this into account, installation instructions always reference the appropriate location.
- Current work includes connecting GPI-Space to the evolving system OSCAR, which builds on and extends the four cornerstone systems GAP, Singular, polymake, and Antic.
Supported by DFG SFB-TRR 195 and Forschungsinitiative Rheinland-Pfalz.
