Как загружать и импортировать пакеты пробелов на CoCalc

Я пытаюсь использовать пакет пробелов SimpComp на CoCalc в Sage. Однако способ установки и импорта пакетов мне совершенно неясен. В каталогах есть несколько мест, связанных с разрывом, я понятия не имею, где искать. У меня есть бесплатная подписка на CoCalc.

Я пробовал несколько вещей. Каталог пакета '/ext/sage/sage-8.8_1804/local/gap/latest/pkg/' должен быть местом, где мне нужно установить пакет, но он доступен только для чтения. Единственное другое разумное предложение, которое я нашел, заключалось в том, чтобы использовать root пользователя для пробела и установить некоторые предпочтения в файле gap.ini, но я понятия не имею, как это должно работать.

Если у кого-то есть какие-либо предложения, пожалуйста, дайте мне знать. Система безумно запутанная.


python package gap-system sage
person BetaBetaAlpha    schedule 26.07.2019    source источник

Ответы (1)


arrow_upward
1
arrow_downward

[Отредактировано]

На CoCalc по адресу https://cocalc.com у вас нет прав администратора, поэтому вам следует установить пакет SimpComp как пользователя, то есть в ~/.gap/pkg (создайте этот каталог, если он еще не существует).

Обратите внимание, что пакет PackageManager GAP от Michael Torpey может облегчить вашу жизнь.

Как показано в обновлении программного обеспечения CoCalc 2019-08-25 новости также разместили в списке рассылки cocalc а в сообщении CoCalc GAP 4.10.2 теперь доступен для всей системы на CoCalc по адресу 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 позаботится о его создании, если это необходимо.

person Samuel Lelièvre    schedule 28.07.2019
comment
Спасибо за полезный ответ. Однако если я сейчас наберу мудрый рабочий лист: %gap SCLoadPackage("simpcomp");, я получу сообщение об ошибке: RuntimeError: Gap produced error output Error, Variable: 'SCLoadPackage' must have a value executing SCLoadPackage(simpcomp); ; - person BetaBetaAlpha; 31.07.2019
comment
Я знаю только LoadPackage; что такое SCLoadPackage? - person Samuel Lelièvre; 02.09.2019
comment
Это команда, которую я должен использовать для загрузки пакета в соответствии с руководством по установке. LoadPackage кстати тоже не работает - person BetaBetaAlpha; 03.09.2019
comment
Должно быть LoadPackage — я сообщил об этом авторам пакетов здесь. Удалось ли вам заставить LoadPackage работать с тех пор, как вы задали этот вопрос? - person Alexander Konovalov; 15.07.2020