up previous next
PrimaryDecompositionGTZ0

primary decomposition of a 0-dimensional ideal

Syntax
PrimaryDecompositionGTZ0(I: IDEAL): RECORD of LIST of IDEAL

Description
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).

Example
/**/  Use R ::= QQ[x,y,z];
/**/  PD := PrimaryDecompositionGTZ0(ideal(x-z, y^2-1, z^2));
/**/  indent(PD);

See Also