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: |