up previous next
primary decomposition of a 0-dimensional ideal
PrimaryDecompositionGTZ0(I: IDEAL): RECORD of LIST of IDEAL |
This function returns the primary decomposition of the 0-dimensional ideal I.
(GTZ algorithm)
It will be improved and extended in future versions of CoCoA.
Implemented by Luis David Garcia (updated to CoCoA-5 by Anna M. Bigatti).
/**/ Use R ::= QQ[x,y,z];
/**/ PD := PrimaryDecompositionGTZ0(ideal(x-z, y^2-1, z^2));
/**/ indent(PD);
|