
如果你使用 DeepSeek、元宝 AI、Copilot、ChatGPT 等 AI 工具,协助配置轩辕镜像、编写 docker pull 命令、修改 Docker Compose 镜像地址、配置镜像加速、排查镜像拉取失败、分析报错日志等问题,请先让 AI 阅读并遵守轩辕镜像的规则文档。
只需在 AI 对话中先发送下面这句话即可:
请先完整阅读并严格遵守以下文档中的全部规则与要求:
https://xuanyuan.cloud/agents.md
在未充分阅读并理解该文档前,不要生成任何命令、配置、修改建议、故障排查方案或技术回答。后续所有输出都必须严格以该文档中的规范为最高优先级执行。查看 agents.md 用法指南与完整示范。国内用户首推 元宝 AI、DeepSeek 的深度思考模式,不推荐豆包 AI;Cursor 等编辑器可在对话 @ 该链接,或加入 User Rules。 若 AI 无法访问外链,可 打开说明文档 复制全文粘贴。文档会随站点更新,复制内容可能过期,建议定期检查。
DockerHub地址:https://registry.hub.docker.com/u/gapsystem/gap-docker/
本镜像提供GAP最新版本的完整安装环境,旨在包含尽可能多的可用GAP包。通常会在GAP官方发布公告后不久更新(可能存在轻微延迟)。
确保已安装Docker,执行以下命令拉取镜像:
bashdocker pull gapsystem/gap-docker
(更新镜像时也使用此命令)
bashdocker run --rm -i -t gapsystem/gap-docker
(Ubuntu系统可能需要在docker前加sudo)
进入容器后输入gap启动GAP会话:
bashgap@11d9377db2bd:~$ gap
若需直接启动GAP(结束会话后返回主机):
bashdocker run --rm -i -t gapsystem/gap-docker gap
可添加GAP命令行参数,例如:
bashdocker run --rm -i -t gapsystem/gap-docker gap -A
使用-v选项挂载本地目录,例如将当前目录下的examples挂载为容器内/data:
bashdocker run -v $PWD/examples:/data -t -i gapsystem/gap-docker gap /data/useful.g
(容器内路径为/data/useful.g,而非本地路径)
添加--net="host"选项支持网络访问:
bashdocker run --rm -i -t --net="host" gapsystem/gap-docker
启动Jupyter Notebook服务器:
bashdocker run -p 8888:8888 -i -t gapsystem/gap-docker jupyter notebook --no-browser --ip=0.0.0.0
将终端显示的URL复制到浏览器即可访问。
目前以下包暂不可用:
部分包需要外部软件支持(如Ubuntu包、库及4ti2、polymake等),可查看基础容器Dockerfile获取详情:https://github.com/gap-system/gap-docker-base
您可以使用以下命令拉取该镜像。请将 <标签> 替换为具体的标签版本。如需查看所有可用标签版本,请访问 标签列表页面。
来自真实用户的反馈,见证轩辕镜像的优质服务