Numerical Decomposition of Affine Algebraic Varieties

الأصل · EN

An irreducible algebraic decomposition ∪ᵢ₌₀ᵈXᵢ=∪ᵢ₌₀ᵈ (∪ⱼ₌₁ᵈⁱXij) of an affine algebraic variety X can be represented as an union of finite disjoint sets ∪ᵢ₌₀ᵈWᵢ=∪ᵢ₌₀ ᵈ(∪ⱼ₌₁ᵈⁱWij) called numerical irreducible decomposition (cf. [14],[15],[17],[18],[19],[21],[22],[23]). Wᵢ corresponds to a pure i-dimensional Xᵢ, and Wij presents an i- dimensional irreducible component Xij. Modifying this concepts by using partially Gröbner bases, local dimension, and the "Zero Sum Relation" we present in this paper an implementation in SINGULAR to compute the numerical irreducible decomposition. We will give some examples and timings, which show that the modified algorithms are more efficient if the number of variables is not too large. For a large number of variables BERTINI is more efficient. Note that each step of the numerical decomposition is parallelizable. For our comparisons we did not use the parallel version of BERTINI.