Top
Back: isCI
Forward: equiMaxEHV
FastBack: cisimplicial_lib
FastForward: elim_lib
Up: Commutative algebra
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.5 ehv_lib

Library:
EHV.lib
Purpose:
procedures for primary decomposition of ideals
Authors:
Kai Dehmann, dehmann@mathematik.uni-kl.de;

Overview:
Algorithms for primary decomposition and radical-computation based on the ideas of Eisenbud, Huneke, and Vasconcelos.

Procedures:

D.4.5.1 equiMaxEHV  equidimensional part of I
D.4.5.2 removeComponent  intersection of the primary components of I of dimension >= e
D.4.5.3 AssOfDim  an ideal such that the associated primes are exactly the associated primes of I having dimension e
D.4.5.4 equiRadEHV  equidimensional radical of I
D.4.5.5 radEHV  radical of I
D.4.5.6 IntAssOfDim1  intersection of the associated primes of I having dimension e
D.4.5.7 IntAssOfDim2  another way of computing the intersection of the associated primes of I having dimension e
D.4.5.8 decompEHV  decomposition of a zero-dimensional radical ideal I
D.4.5.9 AssEHV  associated primes of I
D.4.5.10 minAssEHV  minimal associated primes of I
D.4.5.11 localize  the contraction of the ideal generated by I in the localization w.r.t P
D.4.5.12 componentEHV  a P-primary component for I
D.4.5.13 primdecEHV  a minimal primary decomposition of I
D.4.5.14 compareLists  procedure for comparing the output of primary decomposition algorithms (checks if the computed associated primes coincide)


Top Back: isCI Forward: equiMaxEHV FastBack: cisimplicial_lib FastForward: elim_lib Up: Commutative algebra Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-7, Aug 2013, generated by texi2html.