すでにパッケージマネージャで gap をインストールしているときは、まずそれを削除しておこう。synaptic で 「gap-」で検索し、「gap-」で始まるパッケージをすべて削除すればよい。
次に gap をダウンロードする。ここから Linux 用の最新版をダウンロードすればよい。以下 gap-4.15.1.tar.gz を ~/Downloads にダウンロードしたものとして説明する。 以下のコマンドを順に実行する。
cd /usr/local/lib
sudo tar zxvf ~/Downloads/gap-4.15.1.tar.gz
cd gap-4.15.1
sudo ./configure
sudo make # 時間がかかる
cd pkg
sudo ../bin/BuildPackages.sh # 時間がかかる。特定のパッケージだけ build することもできる。
cd ../..
sudo chmod -R a+rX gap-4.15.1
sudo ln -s gap-4.15.1 gap
cd ../bin
sudo ln -s ../lib/gap/gap gap
これで標準パッケージを含めて、最新の gap が利用できるようになる。コマンドラインから "gap" として起動してみよう。
Windows で gap が使いたければ Wondiws 用の gap をダウンロードしてインストールすれば、特に問題なく利用できるだろう。(ファイルを置くフォルダなど、やや扱いにくいことろはある。)