previous  next
PrimaryDecomposition
Syntax
PrimaryDecomposition(I: SQUAREFREE MONOMIAL IDEAL): LIST of IDEAL
Summary
primary decomposition of an 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 ::= Q[x,y,z];
PrimaryDecomposition(Ideal(xy, xz, yz));
[Ideal(y, z), Ideal(x, z), Ideal(x, y)]
-------------------------------

See also: