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)