[已编辑]
在https://cocalc.com的 CoCalc 上,您没有管理员权限,因此您应该以用户身份安装 SimpComp 包,也就是说,安装在~/.gap/pkg
(如果该目录不存在,则创建此目录)。
请注意,PackageManager
Michael Torpey 的 GAP 包可以让您的生活更轻松。
正如2019 年8 月 25 日 CoCalc 软件更新新闻
也发布在 cocalc 邮件列表和CoCalc 推文中所揭示的那样,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
如果需要,将负责创建它。