Polyeder

Extra packages for GAP

Install

All systems
curl cmd.cat/Polyeder.sh
Arch Arch Linux
pacman -S gap-packages
Dockerfile
dockerfile.run/Polyeder

gap-packages

Extra packages for GAP