up 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