[Singular] 工作環的設定

在計算代數幾何的專業軟體和其他數學軟體不太一樣的地方, 就是要先設定「工作環」, 也就是你要在什麼樣的環下工作。更清楚的說, 是你要在什麼樣的多項式環下工作。一般來說, 就是 K[x1,x2,x3] 這類型的多項式環, 而你要告訴 Singular 三件事：

• 你要選哪個體 K? 實數, 複數, 有理數, 有限體。


• 你的變數有哪些? 比方說 x, y, z 等等。


• 你選用的 monomial ordering 是什麼? 比方說 lex order, graded lex order 等等。

我們舉例來說更加清楚:

ring r=0, (x,y,z), lp;

這裡的意思如下:

• 第一項 0 表式用特微值 0 的體 (這裡指有理數), 你還可以用 real 表實實, complex 表複數等。


• 第二項 (x,y,z) 表是要用 x,y,z 三個變數, 並依此為由大而小的順序。


• 第三項 lp 表最常用的 lex order, 另外如果是 graded lex order 是 Dp。