Public Repository

Last pushed: 2 months ago
Short Description
Intermediate container for external software used by GAP packages. Needed to build gap-docker.
Full Description

Docker container for external software used by GAP packages.

This repository contains the dockerfile for the gap-docker-base image.
It is build on gap-system/gap-container and contains additional software,
used by some packages in GAP. External software at the moment is

  • Ubuntu packages libmpfr-dev libmpfi-dev libmpc-dev libfplll-dev (needed by the float package)
  • Polymake 2.14 (and dependencies, listed on polymake.org)
  • Singular 4.1.0
  • 4ti2 1.6.3

Please note that this is not an automated build because of time and memory restrictions of DockerHub automated builds.

Docker Pull Command
Owner
gapsystem