Sign inSign up

jamesdbmitchell/gap-docker-minimal

By jamesdbmitchell

•Updated about 3 years ago

This is a fork of https://hub.docker.com/r/gapsystem/gap-container with version tags and PackageMan

Image
0

10K+

jamesdbmitchell/gap-docker-minimal repository overview

⁠Docker container for the core GAP system

The Docker container for the core GAP system is available at DockerHub here: https://hub.docker.com/r/jamesdbmitchell/gap-docker-minimal⁠

This GAP Docker container provides only the core GAP system and several packages which are needed by GAP (PackageManager, GAPDoc, PrimGrp, SmallGrp, TransGrp). It may be used, for example, in automated tests of different configurations of GAP packages by installing them in the pkg subdirectory of /home/gap/inst/gap-4.X.Y/.

If you install Docker, you may run GAP in this container interactively.

$ docker run --rm -i -t jamesdbmitchell/gap-docker-minimal:version-4.12.0
gap@8b6ff9c81bb1:~$ gap -A
 *********   GAP 4.12.0 of 2022-08-18
 *  GAP  *   https://www.gap-system.org
 *********   Architecture: aarch64-unknown-linux-gnu-default64-kv8
 Configuration:  gmp 6.2.0, GASMAN, readline
 Loading the library and packages ...
 Packages:   GAPDoc 1.6.6, PrimGrp 3.4.2, SmallGrp 1.5, TransGrp 3.6.3
 Try '??help' for help. See also '?copyright', '?cite' and '?authors'
gap>

Tag summary

Content type

Image

Digest

sha256:c53aef601…

Size

336.4 MB

Last updated

about 3 years ago

docker pull jamesdbmitchell/gap-docker-minimal