大纲
示例
提取
Primdec公司
规格化(Normalize)
单兵携带防空系统
变形
分类
单病种
科达伊拉
皮瑟
|
初级分解
把一个品种分解成不可约品种通过初级分解的组件。 理想我=(年2z(z)2-x2年三-x轴三+x三yz公司,年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
|
|
|