ドイツで開発されているKANTという数式処理システムをインストールしてみた。Mac OS X 用のバイナリーがあったので，それをダウンロードして解凍。基本的にUNIX用らしく，ターミナル上で動かす。久々にマウスと無縁の世界(笑)。
KANTというのがプログラム本体で，KASHはそのシェル。代数的数論に特化しているらしく，代数体のイデアルの計算などもできるようだ。対話式にも使えて，プログラムもできる。みかけのそっけなさに反して，とてつもなく高機能なプログラムのようである。うーむ，使えるかなあ・・・ 😥 。