up previous next
PrimaryDecomposition

primary decomposition of an ideal
Syntax 

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

Description
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