CoCoA:PrimaryDecomposition

PrimaryDecomposition

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)]
-------------------------------

Syntax

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

EquiIsoDec

   <type>ideal</type>