そっかAsirからPARI使うという手もあるのか。 なんでインストールした覚えのないPARIがあちこちにインストールされているのかと思った。 と思ったら PARIの使いたい機能がAsirから使えない。という訳で、PARI/GPに戻る。

職場のが32bit版だったのでfinkにて64bit版に入れかえた。