up previous next
PrimaryDecomposition

primary decomposition of an ideal

Syntax
PrimaryDecomposition(I: SQUAREFREE MONOMIAL IDEAL): LIST of IDEAL

Description
***** NOT YET IMPLEMENTED *****

This function returns the primary decomposition of the ideal I. Currently it is implemented ONLY for squarefree monomial ideals using the Alexander dual technique.

Example
  Use R ::= QQ[x,y,z];
  PrimaryDecomposition(Ideal(xy, xz, yz));
[Ideal(y, z), Ideal(x, z), Ideal(x, y)]
-------------------------------

See Also