gap のインストール

すでにパッケージマネージャで gap をインストールしているときは、まずそれを削除しておこう。synaptic で 「gap-」で検索し、「gap-」で始まるパッケージをすべて削除すればよい。

次に gap をダウンロードする。ここから Linux 用の最新版をダウンロードすればよい。以下 gap-4.15.1.tar.gz を ~/Downloads にダウンロードしたものとして説明する。 以下のコマンドを順に実行する。

1.  cd /usr/local/lib

2.  sudo tar zxvf ~/Downloads/gap-4.15.1.tar.gz

3.  cd gap-4.15.1

4.  sudo ./configure

5.  sudo make                                                  # 時間がかかる

6.  cd pkg

7.  sudo ../bin/BuildPackages.sh          # 時間がかかる。特定のパッケージだけ build することもできる。

8.  cd ../..

9.  sudo chmod -R a+rX gap-4.15.1

10.  sudo ln -s gap-4.15.1 gap

11.  cd ../bin

12.  sudo ln -s ../lib/gap/gap gap

これで標準パッケージを含めて、最新の gap が利用できるようになる。コマンドラインから "gap" として起動してみよう。

QPA : Quivers and Path Algebras HTML

GBNP : computing Gröbner bases of noncommutative polynomials HTML

IBNP : Involutive Bases for Noncommutative Polynomials HTML

Windows で gap が使いたければ Wondiws 用の gap をダウンロードしてインストールすれば、特に問題なく利用できるだろう。(ファイルを置くフォルダなど、やや扱いにくいことろはある。)