Singular

http://www.bekkoame.ne.jp/~ponpoko/Math/singular/SingularTUTORIAL.html


SINGULARは可換代数代数幾何特異点理論の特殊目的に特化した多項式 計算向けの計算機代数システムである。
使い易い会話的シェルとC風のプログラム言語に基いている。
cygwinをインストールすると付いてくるらしい。
http://www.ei.nagano-nct.ac.jp/text/reference/PCsetup/cygwin.html