| 平成８年度 委託研究ソフトウェアの 最終成果報告書 |
本ソフトウェアは集合ブール環を係数環とするブール多項式環におけるグレブ ナ基底とcomprehensiveグレブナ基底の計算プログラムおよびこれを利用した 集合制約ソルバーパッケージの３つから成り立つ。このグレブナ基底はわれわ れが独自に考案したものであり、現存するいかなる数式処理システムでも利用 することができない。
プログラムはすべて、KLICで記述してあり、１９９６年に公開したProlog版と 全く同様の機能を持つが、KLICを用いたため、Prolog版をSICStus prologの fast codeモードでコンパイルしたものよりも、処理速度が約３倍（場合によっ ては数十倍）高速になっている。
www-admin@icot.or.jp