Difference between revisions of "CoCoA:PrimaryDecomposition"
From ApCoCoAWiki
(pushing XML rev. 1.46, again) |
(No difference)
|
Latest revision as of 10:02, 24 October 2007
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
<type>ideal</type>
