[Singular] 代數幾何專業軟體

我本來想用 Maxima 來做全功能數學教學就好, 不過最近發現一個驚人的事實:

看來 Maxima 計算 Groebner Basis 能力很差。

所謂能力差並不是說 Maxima 算得很慢, 畢竟如果只是教學上的例子, 會算就可以了。問題是, Maxima 一直沒有健全的 Groebner Basis 模組, 至少還沒有標準內建型的。

於是, 如果要計算 Groebner Basis, 我們不得不求助其他軟體。我個人的選擇是 Singular。

Singular