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