あ，でもCLNでは多変数多項式が扱えないというのはちょっと痛いかも... グレブナ基底のサンプルが実装できない． http://www-sop.inria.fr/saga/Bernard.Mourrain/ALP/ ALP これは有理数と多変数多項式が扱えるようだ．ここまで書いといて何だがこっちに乗り…

けっこう探した挙げ句にとうとう見つけた．日本語の情報は皆無だが，少なくともちょっとしたサンプルを書くにはなかなか使い勝手がよい． http://www.ginac.de/CLN/ CLN - Class Library for Numbers http://www.ginac.de/CLN/cln_toc.html そのマニュアル …