python - 如何在 CoCalc 上上传和导入间隙包

Question

我正在尝试在 Sage 的 CoCalc 上使用间隙包 SimpComp。然而，我完全不清楚软件包的安装和导入方式。目录中有多个与间隙有关的位置，我不知道在哪里查找。我免费订阅了 CoCalc。

我尝试过几种方法。软件包目录“/ext/sage/sage-8.8_1804/local/gap/latest/pkg/”应该是我需要安装软件包的地方，但这是只读的。我发现的唯一其他明智的建议是使用用户 root 作为间隙，并在 gap.ini 文件中设置一些首选项，但我不知道这应该如何工作。

如果有人有任何建议，请告诉我。该系统非常复杂。

Answer 1

[已编辑]

在 CoCalc 上:https://cocalc.com您没有管理员权限， 所以你应该以用户身份安装 SimpComp 包，即 在 ~/.gap/pkg 中(如果该目录尚不存在，则创建该目录)。

请注意 Michael Torpey 的 PackageManager GAP 包 可以让您的生活更轻松。

正如 2019-08-25 CoCalc software update news 中所揭示的 还发布了on the cocalc mailing list并在 CoCalc tweet ，GAP 4.10.2 现已在 cocalc.com 上的 CoCalc 系统范围内提供。

这样可以轻松安装任何软件包，包括 SimpComp。

首先加载PackageManager包:

gap> LoadPackage("PackageManager");
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
Loading  curlInterface 2.1.1 (Simple Web Access)
by Christopher Jefferson (http://caj.host.cs.st-andrews.ac.uk/) and
   Michael Torpey (http://www-groups.mcs.st-andrews.ac.uk/~mct25/).
Homepage: https://gap-packages.github.io/curlInterface/
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
Loading  PackageManager 0.4 (Easily download and install GAP packages)
by Michael Torpey (http://www-groups.mcs.st-andrews.ac.uk/~mct25/).
Homepage: https://gap-packages.github.io/PackageManager/
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
true

这使得InstallPackage命令可用。使用它来安装 SimpComp:

gap> InstallPackage("SimpComp");
#I  Getting PackageInfo URLs...
#I  Retrieving PackageInfo.g from https://simpcomp-team.github.io/simpcomp/PackageInfo.g ...
#I  PackageInfo.g validated successfully
#I  Downloading archive from URL http://github.com/simpcomp-team/simpcomp/releases/download/v2.1.10/simpcomp-2.1.10.tar.gz ...
#I  Saved archive to /tmp/tmRcoUmG/simpcomp-2.1.10.tar.gz
#I  Extracting to /home/user/.gap/pkg/simpcomp ...
#I  Extracted successfully
#I  Checking dependencies for simpcomp...
#I    GAPDoc >=0.9999: true
#I    io >=3.0: true
#I  Running compilation script on /home/user/.gap/pkg/simpcomp ...
#I  Compilation was successful
true

该软件包将安装在~/.gap/pkg中，不需要 担心创建这个目录，PackageManager 如果需要的话，我们会负责创建它。