Objects
Functionality
Libraries
Availability
Examples
Contributors
Decompose a variety into its irreducible components via primary decomposition.
LIB "primdec.lib"; ring r=0,(x,y,z),dp; ideal i=y2z2-x2y3-xz3+x3yz,y2z-xz2; 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
LIB "primdec.lib";
ring r=0,(x,y,z),dp;
ideal i=y2z2-x2y3-xz3+x3yz,y2z-xz2;
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
[1]:
_[1]=-y2+xz
[2]:
_[1]=z2
_[2]=y
_[1]=z
[3]:
_[2]=x2
_[2]=x