大纲

示例

提取

Primdec公司

规格化(Normalize)

单兵携带防空系统

变形

分类

单病种

科达伊拉

皮瑟

初级分解


把一个品种分解成不可约品种通过初级分解的组件。

理想=(2z(z)2-x2-x轴+xyz公司,2z(z)-x轴2)

LIB“primdec.LIB”;
环r=0,(x,y,z),dp;
理想i=y^2*z^2-x^2*y^3-x*z^3+x^3*y*z,y^2xz*z^2;
primdecGTZ(i);
[1]:
[1]: _[1] =-y2+xz
[2]: _[1] =-y2+xz
[2]:
[1]: _[1] =z2
_[2] =y
[2]: _[1] =z
_[2] =y
[3]:
[1]: _[1] =z
_[2] =x2
[2]: _[1] =z
_[2] =x


Oberwolfach公司 http://www.mathematik.uni-kl.de/~zca/单数